added zipper, more docs on |> and working on monad transformers