エラー

Programのエラー処理は、全部metaなgotoで処理しろってのが僕の立場だが、一般的には受け入れがたいかも

CbC/GearsAgdaは、隠れたスタックがないので、それで元に戻れる

まぁ、そんなこんなやってきたが、そう言う世界もあるってくらいかな