Substrate

#covariance #contravariance #bifunctor