test012a.idr:7:x is not an accessible pattern variable