: traits and impls are better expressed through generic integer constants
Implementations of things like
Eq for fixed-length arrays
up to a certain length. Eventually we should able to generalize
to all lengths.
Utility trait implemented only on arrays of fixed size