Move and expand (slightly) TypeApplications docs