let List := requireModule "List" in let String := requireModule "String" in let Arithmetic := requireModule "Arithmetic" in let Composition := requireModule "Composition" in let head := List.head in let tail := List.tail in let sum := List.sum in let zipBy := List.zipBy in let rem := Composition.rem in let (+) := Arithmetic.(+) in let (*) := Arithmetic.(*) in let GUIDFormat := "