UHC.Util.Substitutable

class VarUpdatable vv subst

class VarExtractable vv

type family SubstVarKey subst :: *

type family SubstVarVal subst :: *

type family ExtrValVarKey vv :: *