ERROR: ImpossibleTypeComparison - input.hack:5:6 - Type A is never B