ExtraConstraintsWildcardInPatternSignature.hs:4:11: error:
    Extra-constraint wildcard ‘_’ not allowed
      in a pattern type-signature