Some problems with types