Host.widen is unnecessary as well