Expression.CallTypeArg
module Implicit : sig ... end
type ('M, 'T) t =
| Explicit of ('M, 'T) Type.t
| Implicit of ('M, 'T) Implicit.t