liquidhaskell-0.8.2.0: tests/todo/ExactGADT1.hs

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

{-# LANGUAGE  GADTs #-}

module Query where

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

poogle = FldY