On Fri, Mar 26, 2004 at 01:43:25PM +0100, Janis Voigtlaender wrote: > probably a trivial question: Is there a type in Haskell that contains > only the undefined value _|_? take your pick: data Void = Void !Void newtype Void = Void Void