$$ TEST: [-asc -tc]
type M : integer -> integer

function f : M