> As with most Haskell code, the types are optional - I included them for clarity. I'd just like to make it clear to anyone else reading this. The types aren't

> As with most Haskell code, the types are optional - I included them for clarity. I'd just like to make it clear to anyone else reading this. The types aren't optional, but because Haskell has type inference, specifying them is optional.