newtype ArbitrarilyLabeled x = ArbitrarilyLabeled x forgetLabel :: ArbitrarilyLa...

hither_shores on Nov 5, 2022 | parent | context | favorite | on: The type system is a programmer's best friend

     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?