(* Private rows are currently not supported *)
type poly4 = private [< `A]