+1 for Void and absurd; I'm also unclear as to why vacuous is needed. -- John Wiegley FP Complete Haskell tools, training and consulting http://fpcomplete.com johnw on #haskell/irc.freenode.net