1 2 3 4 5 6 7 8
module type Cell#[T] = record field: T (* @Error Opaque type 'T' cannot be used as a record field type *) end end.