define generic type within generic type?

[unional]

Problem

How to generalize this?

export type Number<Value extends number = number> = { name: 'number', value: Value }
type val = <Value extends number>(value: Value) => Number<Value> 

Currently this is not possible:

type Val<T, A> = <Value extends A>(value: Value) => T<A>
                                                    ^ T is not generic

This is not possible in TypeScript because type is evaluated onsite.
And also there is no syntax for this. Something like

type Val<T<R>, A, infer R extends A> = <Value extends R>(value: Value) => T<R>

type Val<T<V extends A>, A> = (value: V) => T<V>

but can't find a good syntax in usage:

const val = <Value extends number>(value: Value) => ({ name: 'number', value }) as Number<Value>
const val = <Value extends number>(value: Value): Number<Value> => ({ name: 'number', value })