Allowing TreeParts inside generics can be confusing, the annotation
Tuple[bool, TreePart[bool]]
can lead to the sensation that the first element is static and the second dynamic. The solution would be to yield an error in this case and the user would just do this
Allowing TreeParts inside generics can be confusing, the annotation
can lead to the sensation that the first element is static and the second dynamic. The solution would be to yield an error in this case and the user would just do this