Skip to main content
scala type-systems variance covariance contravariance java
scala development programming variance types typesystems