{-
************************************************************************
*                                                                      *
\subsection{Predicates over variables}
*                                                                      *
************************************************************************
-}

isTyVar :: Var -> Bool
isTyVar = isTKVar
isTyVar :: Var -> Bool
isTyVar = isTKVar
isTyVar = isTKVar