When you want to write a monad the first step is usually to take a coffee break to make sure everyone agrees on what a monad is.