it typechecks