cas

T
cas
(
T
)
(
T x
)

Meta