HOL.TypeVar
mk
dest
eqName
alpha
beta
class
HasVars
a