1. 12

An explanation of higher-rank and higher-kinded types using a Java-like syntax.

  1.