Substrate

#afp #swift #synthesis #deriving