Funny thought. What if task product types could include type constraints?