nf, not whnf for Aeson.