-
-
Replying to @propensive
@propensive Isn't this the same? type +[X[_],Y[_]] = Either[X[F],Y[F]] forSome {type F}1 reply 0 retweets 0 likes -
Replying to @propensive
@propensive@larsr_h I can't help thinking that that existential spells doom though.3 replies 0 retweets 0 likes
Replying to @milessabin
@milessabin @larsr_h I'd also like to be able to write type F[_] = List + List + List, but kind inference doesn't seem to be smart enough.
1:27 AM - 21 Feb 2014
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.