AGDA_COMPILE_FAILED ret > ExitFailure 1 out > /test/LaTeXAndHTML/succeed/Issue2400-2.lagda:10,1-1 out > /test/LaTeXAndHTML/succeed/Issue2400-2.lagda:10,1: Missing body for lambda out > out > ... out >