inlining higher-order-functions?

I've just discovered the {-# INLINE #-} pragma, but it's not doing as much for me as I had hoped. My example is complicated, so let me present a simpler analogy. Suppose I defined compose :: (b -> c) -> (a -> b) -> (a -> c) compose f g = \x -> f (g x) I can easily persuade GHC to inline 'compose'. But when 'compose' is applied to known arguments, I wish f and g to be inlined in the body of 'compose'. Is there a pragma that will do the trick? (I attempted to put an INLINE pragma in a where clause, but GHC was not amused.) Norman