dYdX a Monad