Add reference to Stephen Dolan subtyping phd for infering pragma safe. It seems relevant but I have not read it fully yet.