neophyte/clueless type inference question