y [[1 (0 0)] [1 (0 0)]] # infinite depth triangle [y [[0 1 [[0]] 1 1]]] :import std/Number . # limited depth triangle-n [y [[[[1 0 [[0]] 0 0] (=?1 [[1]] (2 --1))]]] (+7)]