[Haskell-cafe] inv f g = f . g . f