loc_ins_effect (Loc loc) (FirstUnder (Loc iloc)) ne =
    Loc $ ins_effect_firstunder loc iloc ne
loc_ins_effect (Loc loc) (FirstUnder (Loc iloc)) ne =
    Loc $ ins_effect_firstunder loc iloc ne
loc_ins_effect (Loc loc) (FirstUnder (Loc iloc)) ne =
    Loc $ ins_effect_firstunder loc iloc ne