{-
************************************************************************
*                                                                      *
\subsection{Type and kind variables}
*                                                                      *
************************************************************************
-}

tyVarName :: TyVar -> Name
tyVarName = varName
tyVarName :: TyVar -> Name
tyVarName = varName
tyVarName = varName