more type annotations (tricky reference classes)
more type annotations