Type error: Unhandled error: annot mismatch: (1 : Natural) : Bool