Optimizing Haskell Code for Runtime Verification | Dark Hacker News