-
@propensive Isn't this the same? type +[X[_],Y[_]] = Either[X[F],Y[F]] forSome {type F}
@larsr_h I think it is :) It looks like my attempted starting point, but differs in that it works!
-
-
@propensive Well, I just performed β reduction :-) -
@larsr_h That's not something I was aware of! I'll read up on it, rather than fumbling around semi-successfully in the dark, as I have been.
End of conversation
New conversation -
-
-
@propensive@larsr_h I can't help thinking that that existential spells doom though. -
@milessabin@larsr_h Agreed. I think it's impossible to write a type of kind (* -> *) -> * -> * without one, though... - Show replies
New conversation -
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.