prop_regexp :: Regexp Char -> RegexpInput -> Bool
prop_regexp (r :: Regexp Char) (RegexpInput i) =
    runFSM r i == runFSM (toDFA $ fromFSM r) i
prop_regexp :: Regexp Char -> RegexpInput -> Bool
prop_regexp (r :: Regexp Char) (RegexpInput i) =
    runFSM r i == runFSM (toDFA $ fromFSM r) i
prop_regexp (r :: Regexp Char) (RegexpInput i) =
    runFSM r i == runFSM (toDFA $ fromFSM r) i