agda の遅いのなんとかならんの?

それほど、でかいわけでもないんだが... check に数分ってのはなぁ

削ると速くなることは確かなんですが