1. 9
  1. 5

    See also Bob Harper’s article which was the first time I heard of this concept.