liquidhaskell-0.8.10.7: tests/basic/pos/poly00.hs

module Poly00 where 

{-@ zoo :: x:a -> {v:a | v = x} @-} 
zoo :: goober -> goober 
zoo x = x