Hi, I can't really describe it in the subject. So let me try to do it here.
I have two functions > f :: a -> b > g :: (a -> b) -> c -> d and I use them as > gf :: c -> d > gf = g f Now I want to handle exceptions in f and redefine f as in f' > f' :: a -> IO (Either e b) So my question is how to define gf' now to use f' instead of f? > gf' :: c -> IO (Either e d) Thanks in advance. Xiao-Yong -- c/* __o/* <\ * (__ */\ < _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe