use Any as the initial functor from Empty