some more analysis of type coercions