handy name for variant literals/clauses types