fgl-5.6.0.0: Martin Erwig's Functional Graph Library