fgl-5.7.0.1: Martin Erwig's Functional Graph Library