🐦🐦🕊️🐧🕊️ wrapper for `++(++0)+(++0)` (2 + 1)
  🐧🐦🐧🕊️🐧🕊️ wrapper for curried `add ++(++0)` (\x -> 2 + x)
    🪽🐧 add
    🦢🐧 inc
      🦢🐧 inc
        🐥🐦 zero
  🦢🐧 inc
    🐥🐦 zero