Verifying and testing timeliness constraints of Haskell programs | Heykuki News