\(T: Type) -> { item: T, quantity: Natural, }