liquidhaskell-0.8.2.0: 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} @-}