1. 6
  1.  

  2. 1

    All these caddars and caddrs are making my head spin. Like, I get what path they’re tracing, but I have no idea what the caddar of a lambda would correspond to.

    Good article, though.