TYPE SIGNATURES
  somethingShowable :: Show Bool => Bool -> String
Dependent modules: []
Dependent packages: [base-4.16.0.0]

SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
    • The constraint ‘Show Bool’ matches
        instance Show Bool -- Defined in ‘GHC.Show’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • When checking the inferred type
        somethingShowable :: Show Bool => Bool -> String