testsuite/tests/gadt/Gadt23_AST.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE GADTs, KindSignatures #-}

module Gadt23_AST where

import Data.Kind (Type)

data Exp_;

data AST :: Type -> Type -> Type where
  Var   :: String -> AST Exp_ tag
  Tag   :: tag    -> AST a tag -> AST a tag