I see this code in this blog: Type-Level Programming in Scala: // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition ty...