problem:

given type T with a few parameters e.g.

T a b c

some functions where this type is passed to, are agnostic to a, b, c

i.e. accept T with any of a, b, c

processT::T a b c -> ()

when either number of these parameters or T change (c is dropped or d is added: T a b c d), signatures of every function where T is passed to, need to be updated.

question:

is this possible to specify type synonym T' so that it may be passed to parameter (a,b,c) - agnostic functions so:

processT::T' -> ()

?