Substrate

#haskell #synthesis