Substrate

#bifunctor #profunctor