there seems to be a theme of reduced type variables ;-)