lifted App to higher kind to simplify that last instance!