f :: (a, b, c) -> d から
g :: a -> (b -> (c -> d)) を作るのがカリー化