Divide & Conquer divides, but doesn't conquer

[Stefan Koch]

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.