type M : integer -> integer

function f : M