Mon May 21 12:05:12 EDT 2018

Evaluation order

the typical thing that happens is to want to map

a -> b -> m c


m a -> m b -> m c

What is missing there is evaluation order, so that is handled by.

EDIT: I've been here before, and it is not a good idea.

It can trigger multiple evaluations for side-effecting behaviors such
as label generation.

So let's not do this by default.