1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures #-} module Uncurry where unc :: (_ -> _ -> _) -> (_, _) -> _ unc = uncurry