#FlexJa #variance #covariance #contravariance #java types #type flexibility