Type Definition LReduceProd
type_freak::list
type LReduceProd<List> = ApplyFunctor<LReduceProdComposeFunctor, List>;