Re: [Haskell] looking for reference to wadler's (?) law of language design