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.