liquidhaskell-0.4.0.0: tests/pos/poly3.hs
module Meas (goo) where expand :: (a -> [b]) -> [a] -> [b] expand f [] = [] expand f (x:xs) = (f x) ++ (expand f xs) baz :: a -> [Int] baz _ = [0] goo = expand baz
module Meas (goo) where expand :: (a -> [b]) -> [a] -> [b] expand f [] = [] expand f (x:xs) = (f x) ++ (expand f xs) baz :: a -> [Int] baz _ = [0] goo = expand baz