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

[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

[voidex.livejournal.com]

Ваша получше :)

[deni-ok.livejournal.com]

Ещё, кстати, можно подумать над тем, чтобы нарушался только один из законов: Composition или Interchange.

[voidex.livejournal.com]

А это у меня как раз сразу получилось :)

http://hpaste.org/67305

Остался последний вариант.

[voidex.livejournal.com]

И последняя

http://hpaste.org/67306