ExtraConstraintsWildcardNotEnabled.hs:4:10: error:
    Found hole ‘_’ with inferred constraints: Show a
    To use the inferred type, enable PartialTypeSignatures
    In the type signature for:
      show' :: _ => a -> String