#$ Generalize functions over typeclass constraints with multiple instances. Functions "reused" at different levels.
# 141
# 199

class MyAsInt
	to-int (self _) -> I32

fn turn-to-int-and-add-69 (x)
	return to-int(x) + 69

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 b (x)
	return turn-to-int-and-add-69(x) + 1

fn aaaaa (x, y)
	return b(x) + turn-to-int-and-add-69(y)

println(aaaaa(True, True))
println(aaaaa(60, False))