Type No Boundaries