Perdón por el desliz, debería ser app. monad. Xyz