Is it possible such Monad?

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Is it possible such Monad?

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
Beginners mailing list
[hidden email]