直和型と直積型を組み合わせて定義できるデータ型

型同士を結合するもの

一般的には乗法と加法を持つ

リスト型も代数的データ型の一つ ref p.15

ないとどんな感じなのか

Pattern MatchingやMonad型クラスと組み合わせることでとても強力になる

Pattern Matchingと合わせて語られることが多いけど、パターンマッチがないときはどううれしい #??

型同士の代数みたいなもの

プリミティブな(?)型Aの性質とプリミティブな型Bの性質をかけ合わせたりする感じ？

参考