A Generic Functor Example