Allocation with type arguments