Oh of course - I only ever worked with the GHC Core language which is completely and explicitly typed so it was especially blatant :D I do understand that in r

Oh of course - I only ever worked with the GHC Core language which is completely and explicitly typed so it was especially blatant :D I do understand that in reality it's simply a tag value to ensure that the compiler correctly orders and threads operations correctly, but I still think it's semantically cute :D