-(\x -> [x, 7]) 13;
-0
+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