blaze examples, monad supply