tranny demon hacker on Nostr: but there are a LOT of combinators like `map` which are definable in terms of foldr, ...

but there are a LOT of combinators like `map` which are definable in terms of foldr, lots of strongly claims to make. in that setting, we generally would be better off hypothesizing foldr