ParentFull threadheavenlyblue·You should be able to prove that all places that call this function with a fixed list of fixed types are monomorphisable though.View on HN