Associated types and what they are good for

[quinedot]

@quinedot

This comes up when people want HRTBs involving the output of the Fn traits, whose syntactic sugar/salt requires always naming the output type (unless you use the unstable unboxed_closures feature); on stable one has to use a GAT-like helper trait to work around it.

For example...