monads, sample app, and more