implemented rest of Trivial Monad exercise. Started to work on Monad exercises within Typeclassopedia.