Abstraction is useful when the resulting code is logically simpler, much like say category theory makes certain results in algebraic topology seem obvious.

Perhaps, you simply mean a different thing when you say "abstraction".