Why is it possible to do:
Type{(:a, :b)}
but not:
Type{((:a, :b), (:c, :d))}
The second case would be very useful.