!import "../lib/base.tri" !Local
!import "../lib/list.tri" !Local

main = size size

size = (\x :
  (y (\self x :
    compose succ
      (triage
        (\x : x)
        self
        (\x y : compose (self x) (self y))
        x)) x 0))