liquidhaskell-0.8.0.2: tests/todo/ExactGADT.hs

{-# LANGUAGE  GADTs #-}

module Query where

{-@ data Field typ where
        FldX :: Field Int
      | FldY :: Field Int
  @-}

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

poogle = FldY