studying type coercions