Update 04-nfa.hs