Appearance
True Myth / maybe / Unwrapped
Unwrapped<T> = T extends Maybe<infer U> ? Unwrapped<U> : T
T
Maybe
Unwrapped
U