Access Scala language features on the type-level
Code samples for my talk “Type-level programming in TypeScript”