
9 Jun
2011
9 Jun
'11
12:34 p.m.
Hi,
On 9 June 2011 16:15, Christopher Howard
a "trinary" version of Either, i.e., allowing three values instead of two
I'd probably nest Eithers: Either a (Either b c) You can also do some nicer trickery using the TypeOperators extension: {-# LANGUAGE TypeOperators #-} type Or = Either infixr 5 `Or` k :: a `Or` b `Or` c -- Same as "Either a (Either b c)" k = undefined HTH, Ozgur