> I know it will probably be defined either in the same module as the type, or the same module as the typeclass

Just like in Scala.

> I couldn't work out where to find implicits.

Click on the squiggly lines? (Or hover over the indicator next to the line numbers?)