Derived Functor instance for void types