[Haskell-beginners] type T' = T a b c

[Imants Cekusins]

*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' -> ()

?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20160822/355f0cb2/attachment.html>