let
print_funct f = print_endline (string_of_funct (canonic f))