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

module T1096_Foo where

import T1096_TypesLib

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