Smart.Shallow
type 'uid t = private
| Shallow of 'uid
| Unshallow of 'uid
val map : f:('a -> 'b) -> 'a t -> 'b t