`have` macro