add forms for checking lens laws

[AlexKnauth]

No description provided.

[AlexKnauth]

Apparently 6.1.1 doesn't have support for contract-random-generate for the pair? predicate (6.2.0.4 does).

[jackfirth]

I don't think we yet need this as we're only using these tests internally. This would be a really great package though, you should make one for equation fuzz testing.

[AlexKnauth]

Ok. I've never heard of fuzz testing before though.

[jackfirth]

It's when you throw a lot of random input to a program to try and get it to crash, usually to look for things like security holes or memory leaks. The general principle applies here though, and it would be very cool to have a package that let you define equations on values and then specify tests on them with random values. Haskell has something like that in QuickCheck