Исправление hateyoufeel, (текущая версия) :
Типа если я хочу сделать MyMonad x монадой только для некоторых иксов.
Ты можешь задать ограничение на x для MyMonad в принципе.
data MyMonad x where
MkMyMonad :: SomeClass x => x -> MyMonad x
поэтому не могу предоставить конструктор стрелки из любой функции (только из списка заранее выбранных функий).
Вот это я не совсем распарсил.
Исправление hateyoufeel, :
Типа если я хочу сделать MyMonad x монадой только для некоторых иксов.
Ты можешь задать ограничение на x для MyMonad в принципе.
data MyMonad x where
MkMyMonad :: SomeClass x => x -> MyMonad x
Исходная версия hateyoufeel, :
Типа если я хочу сделать MyMonad x монадой только для некоторых иксов.
Ты можешь задать ограничение на x для MyMonad в принципе.