When I was learning me a Haskell I had a great time when I realised that as long as my type was a monoid I could freely chain the operations together purely because of associativity