convertNFAToDFA :: (Enum a, Bounded a) => NFA a -> DFA a
convertNFAToDFA n = convertNFAToDFA' $ runNFAStartState . runNFA $ n
  where convertNFAToDFA' = undefined
convertNFAToDFA :: (Enum a, Bounded a) => NFA a -> DFA a
convertNFAToDFA n = convertNFAToDFA' $ runNFAStartState . runNFA $ n
  where convertNFAToDFA' = undefined
convertNFAToDFA n = convertNFAToDFA' $ runNFAStartState . runNFA $ n
  where convertNFAToDFA' = undefined