Substrate

#contravariance #profunctor