It might be more obvious by giving: fromMaybe :: a -> (a -> x, x) -> x
Ivan Miljenovic wrote: > 2010/1/27 Edward Z. Yang <ezy...@mit.edu>: > >> Excerpts from Daniel Peebles's message of Tue Jan 26 23:25:28 -0500 2010: >> >>> There are actually only two (extensionally) possible total functions with >>> that type, as far as I can see :) >>> >> Is the other one... const? >> > > As far as I can tell, yes. > > -- Tony Morris http://tmorris.net/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe