General-purpose monad typeclass hierarchy for Coq - View it on GitHub