Cats class diagrams

Monad.puml

@startuml

skinparam monochrome true
skinparam classFontSize 16
skinparam classFontStyle "Regular"
skinparam classFontName "Gill Sans"
skinparam classAttributeFontSize 14
skinparam classAttributeFontStyle "Regular"
skinparam classAttributeFontName  "Gill Sans"

interface "Functor[F[_]]" {
  map[A, B](fa: F[A])(f: A => B): F[B]
}

interface "Cartesian[F[_]]" {
  product[A, B](fa: F[A], fb: F[B]): F[(A, B)]
}

interface "Apply[F[_]]" {
  ap[A, B](ff: F[A => B])(fa: F[A]): F[B]
}

interface "Applicative[F[_]]" {
  pure[A](x: A): F[A]
}

interface "FlatMap[F[_]]" {
  flatMap[A, B](fa: F[A])(f: A => F[B]): F[B]
}

interface "Monad[F[_]]" {
  map[A, B](fa: F[A])(f: A => B): F[B]
}

"Functor[F[_]]" <|-- "Apply[F[_]]"
"Cartesian[F[_]]" <|-- "Apply[F[_]]"
"Apply[F[_]]" <|-- "Applicative[F[_]]"
"Apply[F[_]]" <|-- "FlatMap[F[_]]"
"FlatMap[F[_]]" <|-- "Monad[F[_]]"
"Applicative[F[_]]" <|-- "Monad[F[_]]"

@enduml

Monad.png