Notation. Don't use 'cons' in equations. Use :.
Type error. The left-hand operand of : is required to be an integer. But A is a list. The first parameter of cons is required to be an integer. But tail(A) is a list.