Re: [jhc] Typechecker hiccup?