Ralf Hinze wrote: > [...] Rewriting the definition to > > > (@@) f g a = g a >>= f > > avoids the problem. I discovered something similar yesterday. Things are even more funny: > (f @@ g) = \a -> g a >>= f -- Does not work > f @@ g = \a -> g a >>= f -- Does work! -- Sven Panne Tel.: +49/89/2178-2235 LMU, Institut fuer Informatik FAX : +49/89/2178-2211 LFE Programmier- und Modellierungssprachen Oettingenstr. 67 mailto:[EMAIL PROTECTED] D-80538 Muenchen http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne
