Expression.CallTypeArg
module Implicit: { ... };
type t('M, 'T) =
| Explicit(Type.t('M, 'T))
| Implicit(Implicit.t('M, 'T))
;