I did a bit more than "are you sure", though. I said "I don't think X is right because ..." (after reading the type signature of some function and thinking thro

I did a bit more than "are you sure", though. I said "I don't think X is right because ..." (after reading the type signature of some function and thinking through what would happen). That seemed to lead it into the right direction.