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

Scalaz has source code, a wiki and examples.