@hackage generic-type-asserts0.3.0

Structural assertions on generic type representations.

Please see README.md.