model of a runtime and gc embedded in haskell - View it on GitHub