[Termtools] Re: time-outs/stack-overflows when checking

Can compilation option/environment make such a difference?

Oh, certainly. GHC RTS (default) settings and implementation might change with each release. I am trying to reproduce the error locally. What ghc did you use? (8.10.7 seems fine.) - J.