2 ms·
> the data structures that functions act on are the real abstractions I think type level functions, like Functor or Monad, also qualify as abstractions.
by tromp 5y ago
> the data structures that functions act on are the real abstractions
I think type level functions, like Functor or Monad, also qualify as abstractions.