fgl-5.5.2.1: Martin Erwig's Functional Graph Library