[Coq] Type Class in Coq

　形式手法勉強会のFormal Methods Forum #16で、Monadを例にとってCoqでのtype-classを使い方を紹介しました。

　発表資料はhttp://www.slideshare.net/tmiya/typeclass
　練習課題の答えは、http://ideone.com/oANlm

です。