type checking — Dev Signal Topics