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