Split expected and monads presentation.
Added monadic functions table and more.