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 see Distributive perhaps (dual of sequence).
8:09 PM - 11 Jan 2013
0 replies
0 retweets
1 like
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.