tree5
INLINE
INLINE, tree6
OkayArr, Uncurriable
UNDEFINED
Ternop
"undefined" --> "⊥"