me parece asombroso cómo grok tiene una perspectiva más informada sobre monad que la mayoría de CT