Substrate

#haskell #synthesis #deriving #afp