module

type
  Cell#[T] = record
    field: T (* @Error Opaque type 'T' cannot be used as a record field type *)
  end

end.