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