ientras le explico a alguien qué tipo de clase X es, lucho por encontrar buenos ejemplos de estructuras de datos que sean exactamente X.

Entonces, solicito ejemplos para:

Un constructor de tipos que no es un Functor. Un constructor de tipos que es un Functor, pero no Aplicativo. Un constructor de tipos que es un aplicativo, pero no es una mónada. Un constructor de tipos que es una mónada.

Creo que hay muchos ejemplos de Monad en todas partes, pero un buen ejemplo de Monad con alguna relación con ejemplos anteriores podría completar la imagen.

Busco ejemplos que serían similares entre sí, que difieren solo en aspectos importantes para pertenecer a la clase de tipo particular.

Si uno pudiera obtener un ejemplo de Arrow en algún lugar de esta jerarquía (¿es entre Applicative y Monad?), ¡Eso también sería genial!