type inference in Todo