adam@1639: fun frob x = x adam@1639: adam@1639: fun foo [a] (x : a) = frob x