On Feb 5, 2008, at 8:31 , Henning Thielemann wrote:
How do you convince the compiler that 'join (fmap return x) == x' ?
How do you convince it that the current formulation of Monad obeys the monad laws? (rhetorical)
-- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [EMAIL PROTECTED] system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED] electrical and computer engineering, carnegie mellon university KF8NH _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
