bound

Undocumented in source. Be warned that the author may not have intended to support it.
typeof(Ta + Tb + Tc)
bound
(
Ta
Tb
Tc
)
(
Ta a
,
Tb b
,
Tc c
)

Meta