Covariance and Contravariance in TypeScript - Effect Community