Anfonwch hwn fel neges destun: Concrete sheaf models of higher-order recursion