constrained-monads (hackage): A library for monads with constraints over the types they contain
Keywords: control|library|mit