SafeInfered05.hs:3:14: warning: [-Wdeprecated-flags (in -Wdefault)]
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS

SafeInfered05_A.hs:3:17: warning: [GHC-58656] [-Wsafe]
    ‘SafeInfered05_A’ has been inferred as safe!