[Haskell-cafe] I'm reading #OutOfTheTarPit does ghc have a relational model built in for state?