basic support of the empty tuple