To be fair, isn't this how haskell people introduce a new monad to express a solution to their pet problems?