原來一直以來用的都是沒有
這樣看時間好像不準
optimise-heavily 的 Agda這樣看時間好像不準
本來想說跑起來變慢很多, 沒注意到 binary 是 x86_64 的但 arch 是 ARM M1...
用agda 看時間?
看 Agda type checking 花多久
喔喔抱歉我看錯了 
以為是用agda 寫了個小時鐘