Substrate

#profunctor #covariance