[Haskell] Paper draft: "Applicative Data-Driven Computation"