UHC.Util.Substitutable

class VarUpdatable vv subst

class VarExtractable vv

type family ExtrValVarKey vv :: *

class VarTerm vv