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