StrictCheck: randomized strictness testing in Haskell
youtu.be