typing: check correct usage of top-level methods