
26 Sep
2007
26 Sep
'07
7:27 a.m.
On Tue, 25 Sep 2007, Brian Hulley wrote:
To be consistent this would also have to apply to the use of (->) in types to get:
a -> b === (->) b a
Since there are many type class instances for the Reader Monad, in this case the order of argument seems to be appropriate.