distinct 0.1.0

Two traits for enforcing that two types either must be the same or must be different.
Documentation