(
если есть
то правильно ли я для этой хуйни написал аппликатив:
?
data Free f a
= Pure a
| Free (f (Free f a))
то правильно ли я для этой хуйни написал аппликатив:
instance Functor f => Applicative (Free f) where
(Pure f) <*> fa = f <$> fa
(Free fx) <*> fa = Free ((<*> fa) <$> fx)
?
