Rational for Testable instance of ()

[Simon Hengel]

Hi,
the Testable instance of () treats tests as rejected.  And I try to
understand whether this is useful, and if it is useful, how exactly.

Any thoughts?

Cheers,
Simon