[Haskell-beginners] Is it possible such Monad?

Baa aquagnu at gmail.com
Wed Oct 25 10:56:31 UTC 2017

Hello All!

Is it possible to write Monad for such type:

  data Allpass w m a = Nopass (m a) w | Allpass (m a) w

I can write (>>=), IMHO such type can not be Monad due to `w` is not
under `m` monad, right?

Best regards, Paul

More information about the Beginners mailing list