Jaewon Seo

You mean that How can I encode n-arg HKTs?(n > 1) Currently, there is two of this(and I think these two way could be merged into one, since they are...

Another small note here, how about not to distinguish encoded version of HKT and normal one? ```typescript interface MaybeHKT extends HKT { result: this['param'] extends infer param ? { type:...

@raveclassic AFAIK, There is no `Functor` instance for `Either`(well, `Biunctor` is not the case., It's a 'functor' not a `Functor`). What we usually refer as 'Functor of Either' is actually...

@raveclassic Great and It seems it could support what I want, too. 😄 Anyway, what about to use one single interface for Functor for DX?(indeed, it will internally use those...

@raveclassic that string was just an example, we can use some of helper type like blow to generator that 'marker' ```typescript export abstract class MakeVoid { protected readonly abstract _:...

@raveclassic FYI, Haskell(GHC) has same thing called ['Associated type synonym family'](https://wiki.haskell.org/GHC/Type_families). Anyway, it would be great if we find how to encode it in typescript, do you have an idea?...

@raveclassic seems we have problem that some programs shouldn't be compiled are actually compiled when encoding them with new style. IMHO, 'absence of type of type' seems involved with this...

@raveclassic It works if we remove `extends HKT` constraints from `F` and `Functor1` and `Kind` and move to inside of `Kind`. but I'm not sure whether is right (this might...

Here is small news. TS officially admitted this trick as intended behavior and added test for this. microsoft/TypeScript#40928 I think it would be worth now to investigate this more and...

@skeate Nice idea, however, I have a question. What variants of type parameters of following type-level function are? ```typescript interface F extends HKT { result: this['params'][0] extends true ? this['params'][1]...