Type hinting for a child of a certain class