'org.typelevel:discipline_2.10:0.2'
<dependency>
<groupId>org.typelevel</groupId>
<artifactId>discipline_2.10</artifactId>
<version>0.2</version>
</dependency>
<dependency org="org.typelevel" name="discipline_2.10" rev="0.2"/>
"org.typelevel", "discipline_2.10", "0.2"