TRULY CHAINED STATE MONAD!!!

A state monad with input & output and chained clean flatMaps!!