typeclass integer<T> {
	to_int(val: T) -> i32;
}

instance integer<i32> {
	to_int(val: i32) -> i32 { return val; }
}

fn foo(x: T, y: T) -> i64 | integer<T>;