implemented trivial monad exercises. still a few left.