Scala has refined implicits into givens and extension methods.