状態の集合をほんとうに集合用のデータ構造 Data.Set を使って書いてみた。 module Fa where import qualified Test.HUnit as Test import qualified Data.Set as Set data State = S String | S' (State, State) | S'' (Set.Set State) deriving (Eq, Show,…