CogenDerivation
semiauto
combine
ArbitraryDerivation
CogenDerivation