liquidhaskell-0.9.0.2.1: tests/pos/ExactGADT1.hs

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

{-# LANGUAGE  GADTs #-}

module ExactGADT1 where

data Field typ where
  FldX :: Field Int
  FldY :: Field Int

poogle = FldY