Parameter Functor.X

type a