Go to: https://share.unison-lang.org/@alvaroc1/p/code/latest/namespaces/public/draw/main And click the `Join` type, which loads: https://share.unison-lang.org/@alvaroc1/p/code/latest/namespaces/public/draw/latest/;/types/Join The UI loads up `Doc` from base.