/Dan Soucy

Understanding Higher-kinded Types tl;dr: "Values have types. Some typical types are Integer, Bool, and String. Values of type Integer include 0, 1, 42. Just as values can be grouped into types, types can be grouped into kinds. Dan explains first-order types and higher-kinded types. 

featured in #296