It might be more obvious by giving:
fromMaybe :: a -> (a -> x, x) -> x
Ivan Miljenovic wrote:
> 2010/1/27 Edward Z. Yang <[email protected]>:
>> 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.
Haskell-Cafe mailing list