liquidhaskell-0.7.0.0: tests/pos/NewType.hs

newtype Foo a = Bar Int  


{-@ newtype Foo = Bar {x :: Nat} @-}

{-@ fromFoo :: Foo a -> Nat @-}
fromFoo :: Foo a -> Int 
fromFoo (Bar n) = n 

bar = Bar 0