Jon Pretty

Is there an easier way of writing this? type +[X[_],Y[_]]=({type M[I]=({type L[J[_],K[_]]=Either[J[I],K[I]]})})#M[F]#L[X,Y] forSome {type F}

@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 @larsr_h I can't help thinking that that existential spells doom though.