@hackage monad-ideals0.1.1.0

Ideal Monads and coproduct of them

Type class to represent ideal monads in terms of the "ideal part" of ideal monads. See README for more.