Check for result shadowing with type classes