we need coercions for those cases. But, we could make those cases explicit