4 Sets, Types and Lists 集合、型(型理論とかの型?)、リスト ぱらぱらめくる『The Haskell Road to Logic, Maths and Programming』

  • 値をまとめて持つときに、順序を気にするか、気にしないか
  • べき集合