Duplicate r←(F⍨)y

r is y F y.

Monad
Duplicate diagram