This is pretty straight forward. For example: ```scala val x: String <:< Int = _.toInt println(x("3") - 2) ``` Compiles and prints 1.