EMPTY_LIST_FUNCTOR

The canonical empty-list functor: [] (same as EmptyList.FUNCTOR).