Substrate

#prisms #lenses #dual #profunctor