infixr 9 (.)

@private
@inline
(f . g) = \x -> f (g x)

@private
@inline
flip (x,y) = (y,x)

@private
@inline
flip4 = flip . flip . flip . flip

main = flip4 ("a", "b")
--
(a,b)