тайпкласс, который определён двумя тайп конструкторами (хуй знает, может это и не два тайпконструктора) так, что если значение сделать монадичным и потом обратно, оно не поменяется
ну вы можете объяснить что я не так понимаю хоть ?
тайпкласс, который определён двумя тайп конструкторами (хуй знает, может это и не два тайпконструктора) так, что если значение сделать монадичным и потом обратно, оно не поменяется