Idris决策程序类型检查非常慢，固有的性能问题吗？

Question

fetch({
  query: `
   query transactions {
     transactions(limit: 3) {
      tid
      terminalNo
      issuerId
     }
    }
`,
})

此代码大约需要5分钟来键入check，并使用> 2GB的内存。出色的表现令我震惊。有人可以给我一个很好的理由，例如是我的代码问题还是Idris的固有问题？