liquidhaskell-0.8.10.7: tests/pos/ExactGADT0.hs

{-# LANGUAGE GADTs #-}

{-@ LIQUID "--exact-data-con" @-}


module Zong where

data Value a where
  VInt  :: Int  -> Value Int
  VBool :: Bool -> Value Bool