/dev-haskell/logict-state/