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

If you could bear reading this far, you should follow me on Twitter:

Comments are closed.