liquidhaskell-0.9.0.2.1: tests/pos/T1547.hs

{-@ LIQUID "--reflection" @-}

module T1547 where

{-@ myfst :: () -> {v:((a,b) -> a) | v == fst } @-}
myfst :: () -> (a,b) -> a 
myfst _ = fst