Hi On 30 Oct 2009, at 16:14, Yusaku Hashimoto wrote: > Hello cafe, > Do you know any data-type which is Applicative but not Monad? [can resist anything but temptation] I have an example, perhaps not a datatype: tomorrow-you-will-know Cheers Conor