няя кому-то, что такое класс типов X, я стараюсь найти хорошие примеры структур данных, которые точно X.

Итак, я прошу примеры для:

Конструктор типа, который не является Functor.Конструктор типа, который является Functor, но не Applicative.Конструктор типа, который является Аппликативным, но не Монадой.Конструктор типа, который является Монадой.

Я думаю, что есть множество примеров Монады повсюду, но хороший пример Монады с некоторым отношением к предыдущим примерам может завершить картину.

Я ищу примеры, которые были бы похожи друг на друга, отличаясь только аспектами, важными для принадлежности к определенному классу типов.

Если бы кто-нибудь смог подобрать пример Arrow где-нибудь в этой иерархии (это между Applicative и Monad?), Это тоже было бы здорово!