Express properties about Haskell programs and automatically prove them | Heykuki News