Idris.Core.DeepSeq