Parameter Functor.Y

type a

This type a is declared in the Argument module type