type M : integer -> integer

function f : M

f(x) := {
    return x;
}