partially unbound parameters as return values?

struct Person[Age: UInt8, coder: Bool]:
    ...

fn example(p: Person) -> Person[p.Age, *_]:
    ...