Idris.Core.DeepSeq
forceDefCtxt