WildcardInstantiations.hs:5:14: error:
    • Found type wildcard ‘_a’ standing for ‘a’
      Where: ‘a’ is a rigid type variable bound by
               the inferred type of foo :: (Enum a, Show a) => a -> String
               at WildcardInstantiations.hs:6:1
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature:
        foo :: (Show _a, _) => _a -> _
    • Relevant bindings include
        foo :: a -> String (bound at WildcardInstantiations.hs:6:1)

WildcardInstantiations.hs:5:18: error:
    Found constraint wildcard ‘_’ standing for ‘Enum a’
    To use the inferred type, enable PartialTypeSignatures
    In the type signature:
      foo :: (Show _a, _) => _a -> _

WildcardInstantiations.hs:5:30: error:
    • Found type wildcard ‘_’ standing for ‘String’
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature:
        foo :: (Show _a, _) => _a -> _
    • Relevant bindings include
        foo :: a -> String (bound at WildcardInstantiations.hs:6:1)

WildcardInstantiations.hs:8:8: error:
    • Found type wildcard ‘_’ standing for ‘t’
      Where: ‘t’ is a rigid type variable bound by
               the inferred type of bar :: t -> (t -> t1) -> t1
               at WildcardInstantiations.hs:9:1
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature:
        bar :: _ -> _ -> _
    • Relevant bindings include
        bar :: t -> (t -> t1) -> t1
          (bound at WildcardInstantiations.hs:9:1)

WildcardInstantiations.hs:8:13: error:
    • Found type wildcard ‘_’ standing for ‘t -> t1’
      Where: ‘t’ is a rigid type variable bound by
               the inferred type of bar :: t -> (t -> t1) -> t1
               at WildcardInstantiations.hs:9:1
             ‘t1’ is a rigid type variable bound by
               the inferred type of bar :: t -> (t -> t1) -> t1
               at WildcardInstantiations.hs:9:1
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature:
        bar :: _ -> _ -> _
    • Relevant bindings include
        bar :: t -> (t -> t1) -> t1
          (bound at WildcardInstantiations.hs:9:1)

WildcardInstantiations.hs:8:18: error:
    • Found type wildcard ‘_’ standing for ‘t1’
      Where: ‘t1’ is a rigid type variable bound by
               the inferred type of bar :: t -> (t -> t1) -> t1
               at WildcardInstantiations.hs:9:1
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature:
        bar :: _ -> _ -> _
    • Relevant bindings include
        bar :: t -> (t -> t1) -> t1
          (bound at WildcardInstantiations.hs:9:1)