purescript-0.12.2: tests/purs/passing/QualifiedDo/IxMonad.purs

module IxMonad where

class IxMonad m where
  pure ∷ forall a x y. a -> m x y a
  bind ∷ forall a b x y z. m x y a -> (a -> m y z b) -> m x z b