[Haskell-cafe] bottom/unconditionally false in Haskell