Is it an explicit design goal to not allow type-level functions/computation in Swift?

You might want to check out this thread.