type Type = int

fn f(Type)

fn g[T](T v) {
}

g(5)