expected

FunErrTest.idr:35:10:When elaborating right hand side of badCadr1:
When elaborating argument cons1 to function FunErrTest.cadr:
        Could not prove that [] has at least two elements.
FunErrTest.idr:38:10:When elaborating right hand side of badCadr2:
When elaborating argument cons2 to function FunErrTest.cadr:
        Could not prove that tail [(fromInteger 1)] refl has at least two elements.