On Tue, Sep 25, 2007 at 05:19:20PM -0700, Dan Weston wrote: > which is undefined (and seems to be "missing an argument"), when > invariably its type is in practice restricted to: > > fix :: ((a -> b) -> (a -> b)) -> (a -> b) Oh, come on! I use fibs = fix $ (0:) . (1:) . uncurry ($) . (zipWith (+) &&& tail) in practice ALL the time!