this sounds like a nice non prescriptive direction. jose is a pretty cool dude. pre covid we theoretically were gonna poke a defining a memory model of ghc haskell c— / hs / core , but life intervened