liquidhaskell-0.8.0.2: tests/todo/A.hs

{-@ LIQUID "--exactdc" @-}

module A where 

data Foo a b= Foo {fooA :: a, fooB :: b} 
{-@ data Foo a b = Foo {fooA :: a, fooB :: b} @-}