Только ровно наоборот: любой Functor это Rotcnuf. По fmap мы, как верно замечено, можем универсально построить mfap, это и обеспечивает дефолтный инстанс Rotcnuf для любого функтора. А пример Rotcnuf'а, не являющегося функтором, migmit в предыдущем комменте привел.