On Mon, 18 Oct 2021, Sylvain Henry wrote: > The timer isn't only used for profiling, it is used for scheduling too. > You can disable it with `+RTS -V0` (cf > https://ghc.gitlab.haskell.org/ghc/doc/users_guide/debug-info.html#tutorial) Cool, this works!