T16728a.hs:4:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
    • Found type wildcard ‘_’ standing for ‘w’
      Where: ‘w’ is a rigid type variable bound by
               the inferred types of
                 g :: a -> w
                 h :: a -> w
               at T16728a.hs:(5,1)-(7,9)
    • In the type signature: g :: forall a. a -> _

T16728a.hs:4:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
    • Found type wildcard ‘_’ standing for ‘w’
      Where: ‘w’ is a rigid type variable bound by
               the inferred types of
                 g :: a -> w
                 h :: a -> w
               at T16728a.hs:(5,1)-(7,9)
    • In the type signature: h :: forall a. a -> _