Idris.Core.DeepSeq

forceDefCtxt