Is it possible such Monad?

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

Is it possible such Monad?

Baa
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]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners