Typelevel Scala, a fork of Scala