typing: more work