module UMetaVar where

type MetaVar = Int

preMetaVar = -1 :: MetaVar