fgl-5.8.0.0: Martin Erwig's Functional Graph Library