#$ Generalize functions over typeclass constraints with multiple instances. # 111 # 69 class MyAsInt to-int (self _) -> I32 inst MyAsInt I32 to-int (self I32) -> I32 return self inst MyAsInt Bool to-int (self Bool) -> I32 if self return 1 else return 0 fn turn-to-int-and-add-69 (x) return to-int(x) + 69 println(turn-to-int-and-add-69(42)) println(turn-to-int-and-add-69(False))