OptCoercion: Ensure that TyConApps match in arity