Sort of like a switch statement with type annotations