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