loc_ins_effect (Loc loc) (LastUnder (Loc iloc)) ne =
    Loc $ ins_effect_lastunder loc iloc ne
loc_ins_effect (Loc loc) (LastUnder (Loc iloc)) ne =
    Loc $ ins_effect_lastunder loc iloc ne
loc_ins_effect (Loc loc) (LastUnder (Loc iloc)) ne =
    Loc $ ins_effect_lastunder loc iloc ne