Substrate

#afp #haskell #deriving