The details are now fairly routine: type SScanf f = String -> Maybe (TParser f (), String) type family TParser f x type instance TParser L x = x (V val) x ...
確定! 回上一頁