should error if an if-then-else expression has no else variant (must be that way due to the type system)