11-3.cons.md

['cat' | 'dog']

cons演算子は [head | tail] のパターンマッチのように 先頭以外の要素をリストとして扱うので dog は 100, 111, 103 のリストになる