Substrate

#dual #prisms #profunctor