状態の合成を扱えるよう、定義を少し変更して、正規演算の和集合演算を書いてみた。 リスト内包表記だと直積がエレガント。教科書の定義そのままに書ける。まだテストしてないけどとりあえず。 data State = State String | State2 (State, State) deriving …