Substrate
More
#functor #covariance #bifunctor
