committing stuff from ages ago; I have no idea what it does
Began constrained categories; Monotonic category and Set is now a monad