Optimizing Haskell Code for Runtime Verification: Part 2 · HackerTrans