25 Sep
2010
25 Sep
'10
9:26 p.m.
On Saturday 25 September 2010 23:03:41, Brandon S Allbery KF8NH wrote:
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....
Kind mismatch is how far I got.