-\x : ([int] -> [Root]) -> x X;
-let
- Day = "Tuesday"
-in
- Kill monkeys
+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