liquidhaskell-0.4.0.0: tests/neg/nestedRecursion.hs
module Map (radicals) where radicals :: Int -> [a] radicals n = [ foo (radicals n) i | i <- [1..]] foo = undefined
module Map (radicals) where radicals :: Int -> [a] radicals n = [ foo (radicals n) i | i <- [1..]] foo = undefined