fixed implementations per SO answer on Applicative paper. Added Trivial Monad first exercise.