[Haskell-cafe] Re: Type families not as useful over functions

John Ky wrote:

Is there a way to define type r to be all types except functions?

Perhaps the following article How to write an instance for not-a-function http://okmij.org/ftp/Haskell/typecast.html#is-function-type answers your question. It shows several complete examples.