Create 04-nfa.hs