Host.dealias is also unnecessary

too bad we can't remove Host.erasure for the good measure