holy shit it typechecks