Added `Functor f` as a superclass to `Ixed f m`