{-# LANGUAGE FlexibleInstances, UndecidableInstances #-}
class Rotcnuf f where
mfap :: f (a -> b) -> a -> f b
instance Functor f => Rotcnuf f where
mfap = flip (fmap . flip ($))
=> Любой Rotcnuf это Functor. Но не наоборот. fmap никак не выразить через mfap - у тебя есть объект типа f a, а в mfap нужно подать f (a -> b).
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2016-02-07 06:43 pm (UTC)=> Любой
RotcnufэтоFunctor. Но не наоборот.fmapникак не выразить черезmfap- у тебя есть объект типаf a, а вmfapнужно податьf (a -> b).