Substrate

#contravariance #covariance #bifunctor