TEMP
Cases now requires type-annotated expr