liquidhaskell-0.6.0.0: tests/pos/hole-fun.hs

module Zoo (test) where

inc :: Int -> Int 
inc x = x + 1

{-@ app :: _ -> Nat -> Nat @-} 
app :: (Int -> Int) -> Int -> Int
app f x = f x

test = app inc 7