[clean-list] a local function typing question in function composition

[TK]

Have you tried to remove the type of function h?


( oo ) infixr 9 :: ( b -> c ) ( a -> b ) -> ( a -> c )
( oo ) g f = h
where
//    h :: a -> c
    h x = g ( f x )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20070406/63693615/attachment.html