// @declaration

export const obj = <A,>(shape: { [K in keyof A]: A[K] }) => shape

// .d.ts shows correct type
export const box = <B,>(t: B) => obj({ value: t });
//           ^?
// Type looks correct

// .d.ts shows const x: { value: B }
export const x = box(5)
//               ^?
// Shows unbound B

// .d.ts shows const x: { value: B }
export const y = x
//           ^?
// Shows unbound B

// .d.ts shows type U = typeof x.value
export type U = typeof x.value
//          ^?
// Shows unbound B