> if `f(x)` does not return something of type `Complex{T}` Sorry, meant to say "if `f(g(x)` does not return something of type `Complex{T}`"
> The return type of methods cannot be specified / enforced. That's true in one sense - typed functions aren't really a thing yet (functor types are, but they're more clumsy to use in a lot of cases). With regards to…
> if `f(x)` does not return something of type `Complex{T}` Sorry, meant to say "if `f(g(x)` does not return something of type `Complex{T}`"
> The return type of methods cannot be specified / enforced. That's true in one sense - typed functions aren't really a thing yet (functor types are, but they're more clumsy to use in a lot of cases). With regards to…