> the data structures that functions act on are the real abstractions

I think type level functions, like Functor or Monad, also qualify as abstractions.