Module traits
zerocaf
Module for Public Trait implementations.
Gives the Identity element for the type which it has been implemented on.