fcf-graphs (hackage): Type-level version of algebraic-graphs.
Keywords: algebra|graphs|library|mit|types