Higher-kinded types: the difference between giving up, and moving forward As its opening sentence reminds the reader—a point often missed by many reviewers—the book Functional Programming in Scala is not a book about Scala. This [wise] choice occasionally manifests in peculiar ways. For example, you can go quite far into the book implementing its exercises in languages with simpler type systems. C