ins_effect_firstunder lll@(l:ll) (i:ii) ne
    | l == i = l:(ins_effect_firstunder ll ii ne)
    | otherwise = lll
ins_effect_firstunder lll@(l:ll) (i:ii) ne
    | l == i = l:(ins_effect_firstunder ll ii ne)
    | otherwise = lll
ins_effect_firstunder lll@(l:ll) (i:ii) ne
    | l == i = l:(ins_effect_firstunder ll ii ne)
    | otherwise = lll