CoercionN is not in scope in TyCoRep