-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 9/25/10 13:09 , Henning Thielemann wrote:
Edward Kmett schrieb:
-- ^ like how Functor m => Monoid m, you get the obvious 'spiritual but unenforced' Semigroup m => Monoid m
Functor m => Monad m ?
I was wondering about that. mempty = id, mappend = (.) is as close as I could get.... - -- brandon s. allbery [linux,solaris,freebsd,perl] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkyeY6wACgkQIn7hlCsL25ULGwCgiI9bbafrY0AsV5NijM5AAJJh V8MAoNLPlC8InRoIB1TM95sBAj3IWWMU =TIyA -----END PGP SIGNATURE-----