allow type parameter instantiation in cases branches