wrap Kleisli Dependencies into Has traits