drop existentials in eta-expand of sam type