map {A B:Type} (fn:A->B) (ls:list A) : list B
	case ls of
		[] -> []
		x::xs -> fn x :: map fn xs