liquidhaskell-0.9.0.2.1: tests/pos/ExactGADT.hs

{-# LANGUAGE  GADTs #-}

module ExactGADT where

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

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

bob = FldX