type Stack#[T] = record items: T end var broken: Stack (* @Error Too few type arguments for generic 'Stack', expected 1, got 0 *) program() begin return 0u8 end.