Typeclass had one check not enabled
More test files