typ:fun (n -> x * 2)
. typ = : fun (int => int)