> It would make me assume that if I were to write a function that looks like this, it would at least accept the same type of arguments:

    func AnotherFunction(a, b ordered) {
        ...
    }

Not really. If we consider `ordered` an interface, then `func(a, b ordered)` does not enforce typeof(a) == typeof(b), only that both types implement `ordered`.