{ a : Natural → Natural }