% Basic figure setup, for now with no caption control since it's done % automatically by Pandoc (which extracts  syntax from Markdown).

Or more generic versions of a variant type, like an Either type that represents a type A or a type B, but not both: Now, defining a type isn't that interesting by itself. A lot of the expressivity of ...