added monad State, repared Continuation, added Continuation, instead interface Monad, there are Bindable and Foldable still unused, corrections in all monads, Pair moved outside State monad