Added unit tests re monad laws for the Writer monad