atomo :: Parser [TaggedToken]
atomo = withToken $ \t ->
    case t of
        ATokAtomo ts -> Just ts
        _ -> Nothing
atomo :: Parser [TaggedToken]
atomo = withToken $ \t ->
    case t of
        ATokAtomo ts -> Just ts
        _ -> Nothing
atomo = withToken $ \t ->
    case t of
        ATokAtomo ts -> Just ts
        _ -> Nothing