dispatch
EqDerivation
GroupDerivation
HashDerivation
MonoidDerivation
SemigroupDerivation