b (s b) (s b) (k i)
-> (i ((i ((b ((d s) b)) s)) b)) (k i)
-> ((i ((b ((i ((b ((d s) b)) s)) b)) k)) i)

ðŸĶ🐧ðŸĶ🐧🕊ïļ wrapper
  ðŸĶĒ🐧 inc
    ðŸĶĒ🐧 inc
      ðŸĨðŸĶ zero