Robust space leak, and its strictification, for testing deepseq-bounded and seqaid. See also the project homepage for more information. Please share your comments on this reddit discussion.