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