Some Other Examples
	• match : regexp ® �(string ® bool) • eval_poly : poly ® �(float ® float) • iprod : int ® �(vector ® �(vector ® float)) • packet_filter :        instruction array ´ int          ® �(int ´ int ´ int array ® int)