Parameter Functor.X

type a

This type a is declared in the Argument module type