fgl-5.4.2.4: Martin Erwig's Functional Graph Library