Martin Keegan: If Borges had been into static typing

type sea_maiden = Mermaid | Siren

type drawing_implement = Fine_camel_hair_brush

type animal =
| Imperial_property
| Embalmed
| Trained
| Suckling_pig
| Sea_maiden of sea_maiden
| Fabulous
| Stray_dog
| Classified of animal
| Trembling_as_if_mad
| Innumerable
| Drawn_with of drawing_implement
| Et_cetera
| Just_broken_flower_vase
| Resemblent_of_flies_at_distance