definition :: Parser ([TaggedToken], [[TaggedToken]], [TaggedToken])
definition = withToken $ \t ->
    case t of
        ATokDefinition th cs r -> Just (th, cs, r)
        _ -> Nothing
definition :: Parser ([TaggedToken], [[TaggedToken]], [TaggedToken])
definition = withToken $ \t ->
    case t of
        ATokDefinition th cs r -> Just (th, cs, r)
        _ -> Nothing
definition = withToken $ \t ->
    case t of
        ATokDefinition th cs r -> Just (th, cs, r)
        _ -> Nothing