runaroramaさんというScalazのFreeモナドを実装したり、まぁそのあたりに一番Scala界隈で詳しい有名な人が、
ScalaとScalaz使っての、Free、Yoneda、CoYonedaなどの解説blogを最近書いた↓
http://blog.higher-order.com/blog/2013/11/01/free-and-yoneda/
以前ねこはるせんせーが、
などと言って結局挫折していたけど、「CoYonedaが表現できるなら、Operational相当のこともできるのでは?」
と思い途中までやってみた、がsingleton関数の実装で行き詰まった・・・ものをとりあえず貼っておく。
やってみようとしたのは、@fumievalさんのこのblog↓の例
Freeモナドを超えた!?operationalモナドを使ってみよう
誰か、続きを・・・