(s b) (k i) -> ((i ((b ((i s) b)) k)) i) 🐦🐧🐦 wrapper 🦢🐧 inc 🐥🐦 zero