>>> uncurry (+) (1,2) 3
>>> uncurry ($) (show, 1) "1"
>>> map (uncurry max) [(1,2), (3,4), (6,8)] [2,4,8]
tupleR :: forall a b r. AnalysisR (a, b) r
tupleL :: forall a b r. Analysis (a, b) r