After some check, `private[mysql]` does look like the better choice.