<dependency>
  <groupId>org.typelevel</groupId>
  <artifactId>toolkit_sjs1_3</artifactId>
  <version>0.1.2</version>
</dependency>