I'm fairly certain I've done similar things in Ocaml (in fact, I think it's where I learned this technique).