liquidhaskell-0.4.0.0: tests/pos/datacon-inv.hs

module Zoo where

data T =  A | B

{-@ invariant {v:T | (v = A || v = B)} @-}

thisIsA = A
thisIsB = B