хочу чет интересное сделать, типа вот что-то с генериками, типами, ну вот с чем мы там обычно играемся в хаскеле когда работать не хотим, как вот DI человек хотел
но не могу ничего придумать
Вывод парных функторов, свободных монад и косвободных комонад