f = kan<int>