Non-exhaustive patterns in basicTypes/Var.lhs