>>771
product は foldl で書けてるわけだから,もう末尾再帰になってると思うが.