Contextual Under r←[x]({Fn}⍫G)y

G is a monadic function with a contextual under. r is the result of applying G storing context, calling [x∘]F, or n⍨ on the result and then undoing G with the context.