[Question] Is it possible to compute the intersection of two generic HLists in stable Rust?

[Only1Loatheb]

Hi, Is it possible to compute the intersection of two generic HLists of unknown types at compile time in stable Rust? I expect it to work similarly to Plucker or Sculptor, but instead of having Remainder associated type it would have Intersection associated type. Just like in Sculptor, the user shouldn't have to specify the exact Indices type parameter. I saw a related github issue [Question] Treating an HList like a set/map?, but I didn't see the HList intersection operation discussed there. HList intersection would be useful for my proof-of-concept process definition library brrricks. Thank you for your fantastic work on Frunk, and thank you in advance for taking the time to answer my question!