2019年8月20日 kenjimorita もりたけんじ おい「covariance is a higher order type’s trait of preserving subtyping relation of the component types.」 続きを読む →