use `final` in manual for typed actor example