Improved checking of typeclass instance members