Hello more type errors (these ones are TODOs)