module Typed: sig .. end
sig
end
type 'a typed = 'a Generic_core_ty.ty * 'a
'a
'a Generic_core_ty.ty * 'a