-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@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! - Show replies
New conversation -
-
-
@propensive@larsr_h type ∮[α[_],א[_]] = Either[α[ⰰ],א[ⰰ]] forSome {type ⰰ}?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.