[Haskell-cafe] Re: Non Empty List? - Apologies

Hi Jake, apologies, Jake McArthur schrieb:

GüŸnther Schmidt wrote:

...

data Container a = Single a | Many a [a] but the problem above is that the data structure would allow to construct a Many 5 [] :: Container Int.

I think you meant to do either

data Container a = Single a | Many a (Container a)

you're right, the above solution is indeed exactly what I need. It took me until Tillmans later elaborate reply to realize. Sometimes I'm unable to see things even when they bite me in the face, ouch! Günther

or

data Container a = Container a [a]

- Jake