Would it be possible to allow this in Haskell (where <applied to> is some new operator or keyword):

f <applied to> {x a;y b;z c}