Substrate

#covariance #bifunctor #contravariance