Scala type programming resources

Question

According to this question, Scala\'s type system is Turing complete. What resources are available that enable a newcomer to take advantage of the power of type-level program

Answer 1

As suggested on Twitter: Shapeless: An exploration of generic/polytypic programming in Scala by Miles Sabin.