Adapting test-cases to Type-Classes