Substrate

#profunctor #dual #lenses