друг с другом?
Вообще нельзя. Если действительно обьявить интерфейс Monad и унаследовать от него реализацию, то в реализации придется делать instanceof. Но как я уже писал, я пожертвовал многим ради наглядного донесения двух вещей - HKT как абстракции над вычислением и монады как абстракции над последовательной композицией.
Обсуждают сегодня