constrained-monads-0.2.0.1: Typeclasses and instances for monads with constraints.