Maybe StrictCheck fits your needs:
https://hackage.haskell.org/package/StrictCheck. I haven't used it. I think
there is a paper about it in ICFP 2018.

On 8/13/20 8:32 PM, David Feuer wrote:
> For testing purposes, I'd like to distinguish between thunks and
> non-thunks, to make sure that everything I require to be forced is. (I'd
> also like to know that nothing that's supposed to be lazy is forced, but
> that seems too hard to test in context.) Is there some magic I can use to
> check?
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
>
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.