fun frob x = x fun foo [a] (x : a) = frob x