Depending on the context, we may want to have a value with extra information Tracked<T>, or simple T.
Concretely, we want the original bytes position Range<u64> on parser, while we don't have such an information on generating the value.
This could be allowed with GAT behaving like a higher kinded type.
Depending on the context, we may want to have a value with extra information
Tracked<T>, or simpleT. Concretely, we want the original bytes positionRange<u64>on parser, while we don't have such an information on generating the value. This could be allowed with GAT behaving like a higher kinded type.