Playground for typelevel programming in Scala