removed import of member functions of Foldable