New handling of overlapping inst in Safe Haskell