Starting the monad section of LYAH