AGDA_COMPILE_FAILED

ret > ExitFailure 1 out > /test/LaTeXAndHTML/succeed/Issue2453.lagda:11,1-1 out > /test/LaTeXAndHTML/succeed/Issue2453.lagda:11,1: Missing body for lambda out > <EOF><ERROR> out > ... out >