Не используем, стараемся в сложных модулях всё описывать в докстринг. Зачем засорять язык с изначально динамической типизацией такими костылями? Если нужна проверка на стадии компиляции и явное указание типов, то лучше воспользоваться языком со статической типизацией и явным указанием типов.