Using open but for just one type?

Unfortunately, you can only do that with values, not types:

let {make} = module(User) (works)
type {t} = module(User) (does not work)

but I found out you can kinda do it with record spreads if the user type is a record.

type t = {...User.t}