add OnePlusApply, OnePlusApplicative