-name <- Name;
-Name = (\x : (int) -> "Freddy") name;
-let
- Name = 17
-in
- Name = 13
-end
+extern val tweak : int -> [Root];
+
+extern val tickle : string -> A => Root;
+extern val tackle : [A];
+extern val twitch : int -> [A];
+tweak 42;
+Choice = 19;
+tickle "yourself" with
+ tackle;
+ tackle;
+ choice <- Choice;
+ twitch choice
+end