Push-driven Type