Michael Arnaldi

Actually I may have found a way: ```ts export interface TypeClass { readonly _F: F } export declare namespace TypeLambda { type _A = "A" extends keyof T ? T["A"]...

Just as a general info I also tried this approach and at the end decided not to follow with it because my point was removing the need of both overloads...

@TylorS You are correct I was at the presentation and apart from that presentation John has been really nice in giving some color around principles of both prelude and zio...

I thought to do it but at the end decided it wasn't a good idea, the reason being the HKT encoding and usage is still quite painful & has a...

> I wonder if there have been any other efforts on this? I was aware of @mikearnaldi's excellent work in encoding HKT and was about to build a wrapper layer...

Can you please add a patch changeset to describe the change? `pnpm changeset` and follow the wizard

would be a patch, not sure I understand the fix though

> > not sure I understand the fix though > > andThen & friends detect a function, while underlying it may be an Effect (aka the conundrum). it's going to...

> Hmm I think the only way to ensure functions are functions, and effects are effects is to separate the access like the previous revision. The issue is that it's...

> > > Hmm I think the only way to ensure functions are functions, and effects are effects is to separate the access like the previous revision. > > >...