typechecked