Martin Erwig's Functional Graph Library
