Substrate

#haskell #deriving #synthesis