MonoFunctor constraint on MonoPointed

use Applicative for the default implementation

Note that Set gets dropped.