ExprPropertyClosure t -> ExprPropertyClosure m