Re: [Haskell-cafe] Re: [Haskell] How to define tail function for Even/Odd GADT lists?

On Wed, 23 Apr 2008, Iavor Diatchki wrote:

Hello, I am not sure of the use case here but you could also do the following:

data EvenList a = Nil | ConsE a (OddList a)

data OddList a = ConsO a (EvenList a)

Or just use: http://darcs.haskell.org/event-list/src/Data/AlternatingList/List/