Substrate
More
#covariance #bifunctor
