liquidhaskell-0.4.0.0: tests/pos/HigherOrderRecFun.hs

module HOF () where

foo :: [a] -> (b -> c) -> (b -> c)
foo []     f = f
foo (x:xs) f = foo xs f