<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div bgcolor="#FFFFFF" text="#000000">Now consider what happens when we change the type to <tt>#{x=>_}</tt>;
    the type is made more restrictive. The key <tt>y</tt> is no longer
    allowed. But if we repeat this process and change it to <tt>#{}</tt>,
    suddenly we have not made the type more restrictive; we made it more
    allowing!<br></div></blockquote><div><br></div><div>Thanks for the excellent explanation. That makes it clear to me changing #{} is indeed the best way to go.</div><div><br></div></div></div></div>