f _: List!(Int, _) = None
g _: List!(Int) = None
h _: List!(Int, N := 1) = None

f ![1, 2]
g ![1, 2]
h ![1]