Thank you! So it looks like most of my post does indeed work, except for the GADT itself. (Also, I had not known about Rust Playground, so thanks for introduci

Thank you! So it looks like most of my post does indeed work, except for the GADT itself. (Also, I had not known about Rust Playground, so thanks for introducing me to that too.)