this is HN; its a monad.