Create Dfa.hs