These don't have the full fidelity as hn scrubs emojis
add = (a, b) -> a + b
a, b ⟹ a + b
λ add(a, b): ↪ a + b