Archived tweet #11569 from the @leastfixedpoint Twitter Archive

@darachennis Indeed! I think what I'm trying to achieve is genuinely thorny in Rust at the moment, though. Need to encode existentials, somehow, for the "best" solution; and failing that, it looks like I run into infinite types... Will be rethinking over the next few days