СЯУ, что свободная монада монад действует, как модуль над косвободной комонадой комонад. Наверное, все уже об этом слышали, но я как всегда затормозил и вот только сейчас узнал.

(нет, я не знаю, что это значит, и не собираюсь разбираться, если честно. Просто забавно)