[tel]

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.

[andralex]

Those won't compile.

[tel]

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