Dfa をさらに書き直してよりエレガント?にした。 状態遷移関数は結局、lookup するだけだった インスタンスを生成するための関数を追加した union をより簡潔に。 module Fa where import qualified Test.HUnit as Test -- import System.Environment data S…