rm_effect_ (r:rr) iii@(i:ii) =
    if r==i then i:(rm_effect_ rr ii)
    else iii
rm_effect_ (r:rr) iii@(i:ii) =
    if r==i then i:(rm_effect_ rr ii)
    else iii
rm_effect_ (r:rr) iii@(i:ii) =
    if r==i then i:(rm_effect_ rr ii)
    else iii