fgl-5.8.1.1: Martin Erwig's Functional Graph Library