Я так и ниасилил всякие расширения Кан и прочие йонеды, честно говоря. Я пытался, но там или один хэндвейвинг вокруг, или пробиваться через теоркат. Нет сил :(
За частую это все надо для оптимизации или схлопывания вычислений в одно например, как в случае с койонедой позволяет без перестройки кода свернуть композицию mapов в map композиций