continuation monad improvements(Added continuation transformer)