liquidhaskell-0.9.0.2.1: tests/pos/T1543.hs

{-@ LIQUID "--reflection" @-}
module T1543 where

foo :: (Int -> Int) ->  (Int -> Int, ())
{-@ foo :: f:(Int -> Int) ->  (g::(Int -> Int),{v:() | f == g}) @-}
foo f = (f,())