Talk:Applicative functor

This page should probably include some text about generative and applicative functors in ML-style module systems 2601:647:4D03:3CA7:7C6D:A1A9:25E5:9BC6 (talk) 00:57, 7 April 2017 (UTC)

The notation ($ y) as used in "Interchange: u <*> pure y = pure ($ y) <*> u" is not defined and likely unclear to non-Haskellers. — Preceding unsigned comment added by 82.22.28.129 (talk) 14:31, 22 March 2023 (UTC)