fgl-5.5.0.1: Martin Erwig's Functional Graph Library