loc_ins_effect (Loc loc) (After (Loc iloc)) ne =
    Loc $ ins_effect_after loc iloc ne
loc_ins_effect (Loc loc) (After (Loc iloc)) ne =
    Loc $ ins_effect_after loc iloc ne
loc_ins_effect (Loc loc) (After (Loc iloc)) ne =
    Loc $ ins_effect_after loc iloc ne