A Haskell program to illustrate the state verification problem in economics | Heykuki News