Well, given that this is clearly intended as a followup to https://dl.acm.org/doi/pdf/10.1145/317765.317790, It'd be surprising if Heaven didn't mean Haskell.