Seol mar théacs é seo: Concrete sheaf models of higher-order recursion