Single-threaded stratum

...and some monadic improvements.