fgl-5.4.2.0: Martin Erwig's Functional Graph Library