operational（あるいは freer）と呼ばれているものの説明として，

• a) Coyonedaを使うと，kindが* -> *であるような任意の型からfunctorを作り出せる
  • 任意の型f :: * -> *についてCoyoneda fはFunctorのインスタンスになる
• b) Freeを使うと，任意のfunctorからmonadを作り出せる
  • Functorのインスタンスである任意の型fについてFree fはMonadのインスタンスになる
• aとbを組み合わせると，適当な型f :: * -> *からmonadを作り出せて便利〜🙌

というストーリーが往々にして語られる^*1．