(* TEST: [-asc -tc] *)
type M : integer -> integer

function f : M