-------------------------------------------------------------------------------
-- Named type variables (used in standard axioms)
-------------------------------------------------------------------------------

alpha :: TypeVar
alpha = mk (mkGlobal "A")
alpha :: TypeVar
alpha = mk (mkGlobal "A")
alpha = mk (mkGlobal "A")