Iso3#unlift, unlift1, unlift2 and Iso2#unlift