A Bad Typing Interface