more instances for TyConstr