[Agda] failed constraint

[Serge D. Mechveliani]

Please,
what is wrong in the attached   Main.agda.zip
program?
(10 pure lines).
Agda-2.3.2 MAlonzo  reports
"
Failed to solve the following constraints:
  [0] Is empty: odd? .n Б┴║ true
"

Thanks,

------
Sergei 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Main.agda.zip
Type: application/zip
Size: 494 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20130416/4035d415/Main.agda.zip