Looked at LYAH's implementation of Safe RPN (very clean and concise). Then looked at >>= and learned that Monadic Composition only applies to the same Monad. Lastly, began looking at the LYAH exmaple of making a Monad.