Proposal: NF newtype

David Feuer david.feuer at
Tue Feb 10 18:43:16 UTC 2015

On Tue, Feb 10, 2015 at 1:38 PM, Roman Cheplyaka <roma at> wrote:
> Since deepseq is in no way magical, it can't provide any guarantees (you
> can define an instance that does whatever it wants).
> And neither can NF, being based on deepseq.
> All we can say is makeNF = NF . force, by definition.

If we want to have an unsafeMakeNF, which I believe we probably do,
then we need to specify what constitutes correct usage of that

More information about the Libraries mailing list