Type-checking problem v2