sbt-typelevel
docs