operational（あるいは freer）と呼ばれているものの説明として，a) Coyonedaを使うと，kindが* -> *であるような任意の型からfunctorを作り出せる任意の型f :: * -> *についてCoyoneda fはFunctorのインスタンスになるb) Freeを使うと，任意のfunctorからmonadを作り出せるFunctorのインスタンスである任意の型fについてF…