build expressions representing either diagrams or IO actions returning diagrams.

See https://github.com/byorgey/BlogLiterately-diagrams/issues/1.