Very magical—but I'm not convinced all types have meaningful equality or hashes. It's convenient to have, but thorny whenever you, say, have anonymous functions lying around.

Those won't compile.

Oh, dlthomas caught what went wrong! I misunderstood, apologies. If they dont compile then that's great.