ADL

[Timon Gehr via Digitalmars-d]

On 05.09.2016 06:05, Manu via Digitalmars-d wrote:
> An algorithm that calls a function on
> some T it receives just wants to look near the T; UFCS functions will
> be there.

I agree with your post except for this.

In general there could be four modules: one defines the type, one 
defines the UFCS function, one defines the generic algorithm, and the 
last one imports the former three. The problem is that D has no standard 
way to make them work together.