Documentation for optional typing