Substrate

#haskell #synthesis #deriving