add `TypeClass` instances for scalacheck and scalaz

At the moment, the code contains one specialised method calling
`deriveFromIso` per type class. The reason for that is a problem with type
inference (see <https://gist.github.com/larsrh/5021211> for details).