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