Completing type classes