fgl-5.4.2.3: Martin Erwig's Functional Graph Library