Substrate

#covariance #profunctor