Yitzchak, I am interested alright. However for very practical purpose.

> (x <|> y) <|> z == x <|> (y <|> z)

understood. thank you Yitzchak.

we will revisit recurse & fold problem I ran into earlier. probably in Jan though.