- no type errors