{-# LANGUAGE GADTs                        #-}
{-# LANGUAGE KindSignatures               #-}

module HarmTrace.Models.Models where

import HarmTrace.Models.Jazz.Model as J hiding (PD, PT) 
import HarmTrace.Models.Pop.Model as P hiding (PD, PT)
import HarmTrace.Models.Test.Main

import HarmTrace.HAnTree.ToHAnTree


data Grammar :: * -> * where
  Jazz :: Grammar (J.Piece key)
  Pop  :: Grammar (P.Piece key)
  Test :: Grammar PieceTest

data GrammarEx where
  GrammarEx :: (GTree g) => Grammar g -> GrammarEx