Finished the first monad chapter of LYAH