Use a symbol for the type tag