Nested.F
This is a functor F.
Some additional comments.
Arg1: Y
Arg2: { ... }
type t
= (Arg1.t, Arg2.t)
Some type.