On 9/6/10 1:33 PM, David Menendez wrote: > For that matter, can you even describe what pure is intended to do > without reference to<*> or join? As already stated: fmap f . pure = pure . f -- Live well, ~wren