Introduced monad transformers
Finished with PreAsm