Исправление q0tw4, (текущая версия) :
Ты можешь задать ограничение на x для MyMonad в принципе.
Только instance Monad MyMonad уже некак написать. В смысле для x не из SomeClass невозможно придумать реализацию монады. Хотя может bottom вернуть и норм... Но стоп, при реализации монады у меня нет перегрузки по x ёпт
Исходная версия q0tw4, :
Ты можешь задать ограничение на x для MyMonad в принципе.
Только instance Monad MyMonad уже некак написать. В смысле для x не из SomeClass невозможно придумать реализацию монады. Хотя может bottom вернуть и норм...