liquidhaskell-0.8.0.2: tests/import/client/T1096_Foo.hs

module T1096_Foo where

import T1096_Types 

{-@ foo  :: f:Foo -> Foo / [size f] @-}
foo  :: Foo -> Foo
foo (A x) = A (foo x)
foo x     = x