case expression: fixed typing variable patterns