fgl-5.7.0.2: Martin Erwig's Functional Graph Library