Королевский экзамен в Зазеркалье

[deniok]

Маленький хаскеллист попал в Зазеркалье и, преодолев неисчислимые препятствия, дошел до последней горизонтали. Белая и Черная Королевы говорят, что для того, чтобы стать SPJ, ему нужно пройти «Королевский экзамен», ответив на Черный и Белый вопросы: всякий ли Functor является Rotcnuf? всякий ли Rotcnuf является Functor?

class Rotcnuf f where
  mfap :: f (a -> b) -> a -> f b

Помогите маленькому хаскеллисту стать SPJ.

Comments

[sassa-nf.livejournal.com]

1. mfap ff x = fmap ($ x) ff -- так что, первое "да"

2. mfap не предлагает гарантий сохранения алгебраической структуры, так что, fmap нельзя выразить