Attempting to type-check with newer version of core.typed.