liquidhaskell-0.9.0.2.1: tests/pos/HigherOrderRecFun.hs

module HigherOrderRecFun () where

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