Agda memory exhusted 解決

どうも、

　　値のまま、直接書くとだめ
　　一度、変数で受けて、その関数内で簡単にしてやると良い

らしい。これはちょっと不思議で、

　　Haskellの実装は、値は一度変数で受けるように変換される

はずなんですけどね。Agda では違うのか。こそくな変換で通ったり通らなかったり。

うまく例題が抜き出せれば、issue 出すんだが...