inl seven () : i32 = 7i32
nominal wrapped = i32
inl make_wrapped forall t. (x : t) : t = x