eliminated unneeded import from Functor