module type Stack#[T] = record items: ^T end proc make#[T](items: ^T) var uninstantiated := { Stack; items: items } (* @Error Too few type arguments for generic 'Stack', expected 1, got 0 *) return end.