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 > out > ... out >