The DRY savings they provide are rather small, while they make it harder to type-check, and IMO harder to understand.