Chapter20 (v12) Lazy vals
Chapter20 (v13) Abstract types
Chapter20 (v14) Path-dependent types
Chapter20 (v15) Path-dependent types (source)