Can a type system/GHC whiz have a look at this for me?
https://stackoverflow.com/questions/67112800/understanding-sts-quantification-and-phantom-type
Can a type system/GHC whiz have a look at this for me?
https://stackoverflow.com/questions/67112800/understanding-sts-quantification-and-phantom-type