withToken :: (AToken -> Maybe a) -> Parser a
withToken f =
    -- TODO:   showAToken
    tokenPrim (show . taToken) (\_ t _ -> taLocation t) (f . taToken)
withToken :: (AToken -> Maybe a) -> Parser a
withToken f =
    -- TODO:   showAToken
    tokenPrim (show . taToken) (\_ t _ -> taLocation t) (f . taToken)
withToken f =
    -- TODO:   showAToken
    tokenPrim (show . taToken) (\_ t _ -> taLocation t) (f . taToken)