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.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe