Substrate

#profunctor #dual