Martin Erwig\'s Functional Graph Library.