Medium.Controlled.ContextFreeGrammar
type T key control prim
data Tag key prim
type TagMedium key control prim