let in_impl_key loc = In (InImpl loc)