On Mon, Mar 12, 2012 at 2:53 AM, Mario Blažević <[email protected]> wrote: > > May I enquire what was the reason for the non-termination of idP? Why was > it not defined as 'forP yield' instead? The following command runs the way I > expected.
The identity in a homset is unique, and in the case of 'Pipe a b m r', it happens to be 'idP'. 'forP yield' has its uses, but, as Chris showed, it's not a real identity. BR, Paolo _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
