Cases now requires type-annotated expr
TEMP