Add benchmarks or tests with 'inspection-testing' tool

[chshersh]

There's such line in documentation:

Also, when optimisation is turned on, GHC will compile them to the same code.

Would be good to be sure in such things. Probably some benchmarks or even tests with inspection-testing tool could help this!

Duplicates: reinerp/first-class-patterns#4