Cats-core provides essential abstractions and type classes for functional programming in Scala including Functor, Monad, Applicative, and many others.