/code>,
    and <code>CanAddSameType t</code>, which is a shortcut for <code>CanAddThis t t</code>.</p><h2>Testable specification</h2><p>The arithmetic type classes are accompanied by generic hspec test suites,
    which are specialised to concrete instance types for their testing.
    These test suites include the expected algebraic properties of operations,
    such as commutativity and associativity of addition.</p><h1>Limitations</h1><ul><li>Not all numerical operations are supported yet.
      Eg <code