Borrow from the late 1990s upstart GC languages: Pointer<Type>.