In this post, we will see how to resolve What do the generic type constraints “:<:” and “:+:” mean in this Scala example? Question: From this talk about nanopass compilers in 2017 (https://github.com/sellout/recursion-scheme-talk/blob/master/nanopass-compiler-talk.org) I found the code snippet below. In ...