1/1: Building Error (Error.idr)Error.idr:6:17--7:1:While processing right hand side of wrong at Error.idr:6:1--7:1:Undefined name ys