Add comment for monad power