higher-cat 0.1.1

Functors, Applicatives, Monads and other bad ideas
Documentation