v: ((_: Type) => Type) -> v Type