Хорошо ли вы знаете законы аппликативных функторов?

[deniok]

Напишите представителя класса типов Applicative, для которого выполнялись бы законы Identity и Homomorphism:

pure id <*> u = u
pure u <*> pure x = pure (u x)

но не выполнялся бы законы Composition и/или Interchange:

pure (.) <*> u <*> v <*> x = u <*> (v <*> x)
u <*> pure x = pure ($ x) <*> u

UPD. Ну и по ходу дела возникли бонусные вопросы: написать такого представителя, чтобы не выполнялся (a) только Composition; (b) только Interchange.

Comments

[migmit.livejournal.com]

Блин, в девятой строчке id пропустил.

[migmit.livejournal.com]

Дважды блин, в предпоследней строчке должно быть "B True False 0"

[deni-ok.livejournal.com]

Вот да, я сижу, думаю, что же результат двух последних выкладок значит :)