Implement ErrMakeBadType