Disjunctive tuples

Yitzchak Gale gale at sefer.org
Thu Feb 22 09:40:31 EST 2007

Thomas Davie wrote:
> To appease those who I know think that Haskell
> is over-complicated already and should be
> having things removed

I am one of those. But it is interesting that '|'
means the same thing here as it does in ADTs.
So it does add consistency.

On the other hand, if we envision GADTs supplanting
ADTs entirely someday, then this will become an

The disjunctive 2-tuple has a natural monad instance
as an exit monad.


More information about the Haskell-prime mailing list