This seems to work

{-# LANGUAGE FlexibleInstances #-}

instance Num (a -> a) where

(*) = (.)

Of course, using anything else from the Num class will blow up in your face so it's probably not worth it.

Cheers,

Danny Gratzer