-- | Make a term variable
mkId :: Type
     -> TmName
     -> Id
mkId tmType tmName = Id tmName (embed tmType)
mkId :: Type
     -> TmName
     -> Id
mkId tmType tmName = Id tmName (embed tmType)
mkId tmType tmName = Id tmName (embed tmType)