Comment by crowdhailer

The EYG type system does support recovery, so you will get multiple type errors if that's the case in the program.