Quelklef

-- Maps input string to leftover string
type Reg = String -> String

-- Literal match
lit :: String -> Reg
lit s (s ++ s') = s'

-- Optional; regex EXPR?
opt :: Reg -> Reg