Would keyword arguments conflict with currying in Haskell?

Shantanu-sg-01: > Would adding keyword arguments conflict with currying in Haskell? File a proposal to get thorough feedback. Arguments of same type can be disambiguated with phantom types trick. {-# LANGUAGE TypeApplications #-} import Data.Tagged data A data B f :: Tagged A Int -> Tagged B Int -> Int f (Tagged a) (Tagged b) = a + b withF :: Int withF = f (pure @A 1) (pure @B 2)