wiki:RemovalCandidates

Version 4 (modified by loeh@…, 8 years ago) (diff)

added two additional removal candidates

  • n + k patterns
  • ~ patterns
  • the monomorphism restriction
  • classes (no really, there are people who advocate this!)
  • the Prelude (or at least, seriously trim it to the minimum possible)
  • defaulting
  • class contexts on data definitions