+ TypeVisitorA: type visitor with 1 argument and void return value