Closed types offer completeness checking, i.e.

  • that all patterns have been matched
  • or that all record fields have been populated/provided.

See also: