During a refactoring on Agda I ran into the accidental but well-placed trap of the NFData instance for pretty’s Doc type. Read my blog post here: How to shoot yourself in the foot with NFData Doc | shoot-yourself-in-the-foot-with-NFData-Doc
A placed a request for deprecation on the issue tracker: Deprecate `NFData Doc`. It is a footgun. · Issue #71 · haskell/pretty · GitHub