Substrate

#lenses #profunctor #dual #paper