/Я language (β)/Primitives/Shafted Tree/

: ( Shafted Tree i ) ~ ( Alone `P'T'I'TT'I` Shafted List `T'TT'I` Tree )

> `yo` : a o . Shafted Tree a `AR_____` a `AR____` o `AR____` Shafted Tree o
> `yokl` : a o . Shafted Tree a `AR___` a `AR__` Maybe o `AR__` Maybe ( Shafted Tree o )
> `yokl` : a o . Shafted Tree a `AR___` a `AR__` Stops e o `AR__` Stops e ( Shafted Tree o )
> `yokl` : a o . Shafted Tree a `AR___` a `AR__` State e o `AR__` State e ( Shafted Tree o )
> `yokl` : a o . Shafted Tree a `AR___` a `AR__` World o `AR__` World ( Shafted Tree o )