quadruple

Instantiator for Quadruple.

quadruple
(
T
U
V
W
)
(
T t
,
U u
,
V v
,
W w
)

Meta