fgl-5.5.3.1: Martin Erwig's Functional Graph Library