Dutomatic deriving of abstract algebra traits
Derive attribute for implementing algebraic traits from the alga crate.
alga