higher-cat (cargo): Functors, Applicatives, Monads and other bad ideas
Keywords: monad|applicative|category-theory|functor