On Tue, Mar 30, 2010 at 11:26:39PM +0100, Conor McBride wrote: > Getting back to the question, whatever happened to empty case expressions? We > should not need bottom to write total functions from empty types. Empty types? Toto, I've a feeling we're not in Haskell anymore.