Advantages of using `$ExpectType` for type checking in TypeScript - Effect Community