AGDA_COMPILE_FAILED

ret > ExitFailure 42 out > ../LaTeXAndHTML/fail/Issue2453.lagda:10,14-14 out > ../LaTeXAndHTML/fail/Issue2453.lagda:10,14: Missing body for lambda out > <EOF><ERROR> out > ... out >