<div dir="ltr"><div><i>problem</i>:</div><div><br></div><div>given type T with a few parameters e.g.</div><div><br></div><div>T a b c</div><div><br></div><div><br></div><div>some functions where this type is passed to, are agnostic to a, b, c</div><div>i.e. accept T with any of a, b, c</div><div><br></div><div>processT::T a b c -> ()</div><div><br></div><div><br></div><div>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.</div><div><br></div><div><br></div><div><i>question</i>:</div><div><br></div><div>is this possible to specify type synonym T' so that it may be passed to parameter (a,b,c) - agnostic functions so:</div><div>processT::T' -> ()</div><div><br></div><div>?</div></div>