@hrefna what I like about #haskell's "operator overloading" (type classes) is that it is customary to group operators together and give them laws which give them a coherent meaning across all instances. So you can't just abuse + for list concatenation.