newtype ArbitrarilyLabeled x = ArbitrarilyLabeled x
     
     forgetLabel :: ArbitrarilyLabeled x -> x
     forgetLabel (ArbitrarilyLabeled x) = x

What's the "global meaning" of `ArbitrarilyLabeled`? What control has `forgetLabel` lost?