Yusaku Hashimoto wrote: > Hello cafe, > Do you know any data-type which is Applicative but not Monad? The Except datatype defined in the Applicative paper. Some parsers are not monads, allowing for optimizations. Martijn.