liquidhaskell-0.8.0.2: tests/pos/T1085.hs
{-@ LIQUID "--exact-data-cons" @-}
{-@ data HEither a b = HLeft a | HRight b @-}
data HEither a b = HLeft a | HRight b
{-@ data HMaybe a = HJust a | HNothing @-}
data HMaybe a = HJust a | HNothing
{-@ LIQUID "--exact-data-cons" @-}
{-@ data HEither a b = HLeft a | HRight b @-}
data HEither a b = HLeft a | HRight b
{-@ data HMaybe a = HJust a | HNothing @-}
data HMaybe a = HJust a | HNothing