Tagless types with values