Type Definition LFold
type_freak::list
type LFold<List, Init, Func> = ApplyFunctor<LFoldFunctor<Init, Func>, List>;