Substrate

#bifunctor #covariance