move reorganize into monads.cont, make more featureful