lathe-morphisms (racket): Interfaces for category theory concepts.
Keywords: algebra|category|contracts|equality|functional|lathe|set