class (Monad m, Monad m’) => Bippy m m’ where seq :: m’ (m a) -> m (m’ a) Does “Bippy” exist and what is it called?
-
-
Replying to @djspiewak
@djspiewak What if: class Monad m => Bippy m where seq :: Monad m’ => m’ (m a) -> m (m’ a) Can that be implemented? How about with lift?2 replies 0 retweets 0 likes -
Replying to @mergeconflict
@mergeconflict I’m pretty sure that’s less powerful, since you must allow sequencing through *arbitrary* m’.3 replies 0 retweets 0 likes -
Replying to @djspiewak
@djspiewak Yes, agreed. I'm sure I've seen something like that in scalaz, relating to MonadTrans. I'll try to find it again...1 reply 0 retweets 0 likes
Replying to @mergeconflict
@mergeconflict @djspiewak Functor[F] => Distributive[G] => F[G[A]] => G[F[A]]
8:13 PM - 11 Jan 2013
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.