Substrate

#covariance #functor #bifunctor