Derivable implementation of applicative::pure added.
Many monad instances now derive pure.