[Haskell] Workshop on Termination (deadline extension: July 22)