proof of MapOk for FMapPositive.
adding Functor instance to Option and FMapPositive.