<dependency>
  <groupId>org.typelevel</groupId>
  <artifactId>sbt-typelevel_2.12_1.0</artifactId>
  <version>0.5.3</version>
</dependency>