A Haskell library for converting NDFSMs to FSMs