single :: Parser String
single = withToken $ \t ->
    case t of
        ATokSingle n -> Just n
        _ -> Nothing
single :: Parser String
single = withToken $ \t ->
    case t of
        ATokSingle n -> Just n
        _ -> Nothing
single = withToken $ \t ->
    case t of
        ATokSingle n -> Just n
        _ -> Nothing