[morelisp]

Addition of ints is associative, addition of floats is not, yet generalizing over these two numeric types is a core ability people expect from generics.