fgl-5.4.2.2: Martin Erwig's Functional Graph Library