Type Definition LPrepend
type_freak::list
type LPrepend<List, Item> = ApplyFunctor<LPrependFunctor<Item>, List>;