MOP experiment - Lambda should change when substituting types