ditto about type assumption