On Mon, 3 Aug 2020, Henning Thielemann wrote: > doctest just runs GHCi and GHCi follows the built-in rule: If an expression > is IO, then run IO and emit its stdio. I meant stdout, of course. Certainly also stderr.