для меня удивительно, как grok имеет более информированный взгляд на monad, чем большинство из CT