reg003a.idr:4:20:When elaborating constructor Main.ECons:
No such variable OddList