fn f(x: Length^(2/0)) = 1