{-# htermination curry :: ((a,b) -> c) -> (a -> b -> c) #-}