We might have discussed this previously, but what exactly do we know about the behaviour of expressions like toEnum 2 :: AddrOff and (fromInteger . toInteger) $ 2 :: AddrOff I mean what do we want to - or can we - guarantee? I think, this should be mentioned in the doc, because FFI tools need to use this functionality. [If we can get a consensus here as to what we want the guaranteed behaviour to be, I'll add it to the doc.] Cheers, Manuel
