Currently a scratchpad for working with the constrained-categories package.
Contains:
- A minor variant of
Functor
fromControl.Functor.Constrained
without functional dependencies. - Internal combinators (e.g. composition, S, K, dup) for Cartesian closed categories.