Type hint against a more narrow interface