dealing with Type0 _Type coercion