Можно как-нибудь Applicative и Functor автоматически вывести из Monad? Хочу

Question

удалить такой код
instance Applicative where
pure = return
(<*>) = ap

instance Functor where
fmap = ap . return

0

06.05.2018

10 просмотров

была идея экспешнена который позволил бы определять только Monad и получить все, но в общем случае нельзя

0

06.05.2018

в принципе можно (с некоторыми оговорками), но думаю, что не стоит с этим связываться

0

06.05.2018

Vladimir Vladimir · Accepted Answer

Разве аппликатив и функтор нынче не в зависимостях монады?

0

06.05.2018