proper tests for type class instance derivation