DeepBook Protocol a Monad