[Haskell] Deadline Extension: Mathematically Structured Functional Programming