[mhh__]

I think Rice's theorem means that you can't really do that without restricting/annotating semantics like Rust does.