unsafeSynTyConInjectivityInfo -> synTyConInjectivityInfo