Scalaz7 Typeclasses Law

これは Scalaz Advent Calendar 2012 の21日目です。
これをつくるだけで疲れたので、これ自体の説明と、これを使ったテストの仕組みの説明などを、別の日に書く

https://gist.github.com/4356594