A finite state machine (DFA/NFA) implementation in haskell.