Using Var instead of Id for case alternatives (as there could be existential types).