element of type animal

typeswitch($animal)
	case element duck return xx
	case element dog  return yy