> Note that your h does not differentiate between f and g (in fact, it > does not investigate them at all), the only thing you can do with f, > g, (h f), and (g f) is apply them. Accordingly, it's a fine Haskell > definition. Errr... (h g), not (g f)