Substrate

#paper #profunctor