Like why does your search work but not `g (f a b) ...
# arrow
d
Like why does your search work but not
g (f a b) -> (g a, g b)
?