If the monad laws don't hold, its not a monad. I demonstrated the first law not holding, therefore promises are not a monad.