fgl-5.7.0.0: Martin Erwig's Functional Graph Library