Understanding the Need for Variance Check on Higher-Kinded Types
I am trying to understand the need for the variance check on Higher-Kinded Types (https://www.effect.website/docs/behaviour/hkt#variance)
The docs report an example on the full Kind definition, but I was looking at the more simple example with only
In which situations the second branch
Could someone give me a concrete example where not having the invariance check causes problems?
The docs report an example on the full Kind definition, but I was looking at the more simple example with only
F:In which situations the second branch
{ readonly F: F; readonly Target: (_: Target) => Target } is needed to prevent errors?Could someone give me a concrete example where not having the invariance check causes problems?
A fully-fledged functional effect system for TypeScript with a rich standard library
