AGDA_FAILURE ret > ExitFailure 42 out > MisspelledKeywordInRecord.agda:4,3-11 out > This declaration is illegal in a record before the last field out > when scope checking the declaration out > record R where out > indutive out > field A : Set out >
