Substrate

#via-stephen-celis #dual #profunctor