4 ms·
newtype ArbitrarilyLabeled x = ArbitrarilyLabeled x forgetLabel :: ArbitrarilyLabeled x -> x forgetLabel (ArbitrarilyLabeled x) = x What's the
by hither_shores 4y ago
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?