DF
Size: a a a
DF
KR
KR
KR
A
DF
DF
VS
VS
VS
VS
AZ
VarArgs : List Type -> Type
VarArgs [] = ()
VarArgs (x :: xs) = (x, VarArgs xs)
*.\chapter6_part2> VarArgs [String, Int, Int]
(String, Int, Int, ()) : TypeAZ
G
VarArgs : List Type -> Type
VarArgs [] = ()
VarArgs (x :: xs) = (x, VarArgs xs)
*.\chapter6_part2> VarArgs [String, Int, Int]
(String, Int, Int, ()) : TypeG
AZ
AZ
G
AZ