working HApplicative