Octonation

Octonation refers to the function $$a\ \{\{\{\{\{\{\{\{1\}\}\}\}\}\}\}\}\ b = \{a,b,1,8\}$$, using BEAF.