fptools/ghc/docs/state_interface
