Tests.

[cfhammill]

You know we need them.

[cfhammill]

It might be easy to mechanize doing lens law tests for each lens. The difficulty is input data. I wonder how good the R quickcheck library is...