############################### [A,B | Numeric?(A,B)] overload add(a:A, b:B) = numericAdd(toBiggerNumericType(A, B, a), -------------------------------------------------------^ toBiggerNumericType(A, B, b)); [A | Numeric?(A)] ############################### /Users/ks/code/clay/build/compiler/src/../../../lib-clay/numbers/numbers.clay(155,55): error: no matching operation compilation context: toBiggerNumericType(Static[UInt64], Static[Int32], UInt64) add(UInt64, Int32) RecordFieldTypes2(Static[RawFile], Static[ValueHolder(UInt64)]) RecordFieldTypes(Static[RawFile]) RawFile(Int32, Bool) stdinRawFile() stdinFile()