subsumption_sort_hole_fits.hs:2:5: warning: [-Wtyped-holes (in -Wdefault)]
    • Found hole: _ :: String -> [String]
    • In the expression: _ "hello, world"
      In an equation for ‘f’: f = _ "hello, world"
    • Relevant bindings include
        f :: [String] (bound at subsumption_sort_hole_fits.hs:2:1)
      Valid hole fits include
        lines :: String -> [String]
          (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
           (and originally defined in ‘base-4.16.0.0:Data.OldList’))
        words :: String -> [String]
          (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
           (and originally defined in ‘base-4.16.0.0:Data.OldList’))
        read :: forall a. Read a => String -> a
          with read @[String]
          (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
           (and originally defined in ‘Text.Read’))
        repeat :: forall a. a -> [a]
          with repeat @String
          (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
           (and originally defined in ‘GHC.List’))
        mempty :: forall a. Monoid a => a
          with mempty @(String -> [String])
          (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
           (and originally defined in ‘GHC.Base’))
        fail :: forall (m :: * -> *) a. MonadFail m => String -> m a
          with fail @[] @String
          (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
           (and originally defined in ‘Control.Monad.Fail’))
        return :: forall (m :: * -> *) a. Monad m => a -> m a
          with return @[] @String
          (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
           (and originally defined in ‘GHC.Base’))
        pure :: forall (f :: * -> *) a. Applicative f => a -> f a
          with pure @[] @String
          (imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
           (and originally defined in ‘GHC.Base’))