Added some travesable stuff.
Added a few more applicative functions.
Alternative.
Bunch of Monad stuff.
Forgot to add functor a while back.