module F (A : sig ... end) : sig ... end
Runs PPX with type, using the above transformations. Conversion phases are as follows: