Substrate

#profunctor #lenses #prisms