Type patches