Divide & Conquer divides, but doesn't conquer

[Stefan Koch]

On Wednesday, 27 May 2020 at 20:20:37 UTC, Stefan Koch wrote:
> On Wednesday, 27 May 2020 at 19:05:51 UTC, Nick Treleaven wrote:
>> On Monday, 25 May 2020 at 21:29:00 UTC, Stefan Koch wrote:
>>> How much of a deal is 100% ? Enough to talk about including 
>>> ... ?
>>
>> How would a type function compare to S... ? Ideally we'd just 
>> use a type function.
>
> It's gonna be a while until they can be used.
> For that usecase you couldn't use a typefunction at all.
> type functions don't work on values.

Assuming you mean the benchmark I posted.