Now typechecks.