Added post on typelevel tricks in scala.