Solving the impossible?

[aliak]

On Thursday, 30 August 2018 at 21:40:40 UTC, Everlast wrote:
> On Thursday, 30 August 2018 at 00:10:42 UTC, Paul Backus wrote:
>> [...]
>
> This is not true! You claim that I'm making a blanket statement 
> about what mathematicians would view then you do the same.
>
> [...]

If ... implies "an arbitrary number of" and you have:

(A...)(A a)
(A)(A a...)

A... = an arbitrary number of types
A a... = an arbitrary number of parameters *typed* as A.

When you have a list of Ts the type is denoted as "T[]". This is 
consistent with D's type system.