20 Jun
2008
20 Jun
'08
7:21 p.m.
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.htm... -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH