On 2008 Jun 20, at 19:15, George Kangas wrote:
The type signature, which could be written (a -> (b -> b)) -> ([a] - > (b -> b)), suggests generalization to another type constructor C: (a -> (b -> b)) -> (C a -> (b -> b)). Would a "foldable" typeclass make any sense?
http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Foldable.html -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [EMAIL PROTECTED] system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED] electrical and computer engineering, carnegie mellon university KF8NH _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
