Type annotations.