type instance XPure StageParse = ()
type Pair a = (a, a)