Understanding ST's quantification and phantom type

[AriFordsham]

Can a type system/GHC whiz have a look at this for me?

https://stackoverflow.com/questions/67112800/understanding-sts-quantification-and-phantom-type