Advantages of using `$ExpectType` for type checking in TypeScript
This might be an odd question not directly about Effect, sorry 
What's the advantage of using
https://www.effect.website/docs/introduction#displaying-types-with-expecttype
What's the advantage of using
$ExpectType and associated tooling to check types vs declaring the type directly in TypeScript? i.e. // $ExpectedType MyType before const foo = ... rather than just writing const foo : MyType = ... https://www.effect.website/docs/introduction#displaying-types-with-expecttype
A fully-fledged functional effect system for TypeScript with a rich standard library
