Re: [Haskell-cafe] Simplifying a IsFunction type class using type equality constraints

Corey O'Connor: I recently had a need to use the IsFunction typeclass described by Oleg here: http://okmij.org/ftp/Haskell/isFunction.lhs and am wondering if the use of the TypeCast class can be correctly replaced by a type equality constraint. The IsFunction and TypeCast classes were

Re: [Haskell-cafe] Simplifying a IsFunction type class using type equality constraints

On Sat, Oct 4, 2008 at 2:58 AM, Corey O'Connor [EMAIL PROTECTED] wrote: I recently had a need to use the IsFunction typeclass described by Oleg here: http://okmij.org/ftp/Haskell/isFunction.lhs and am wondering if the use of the TypeCast class can be correctly replaced by a type equality

[Haskell-cafe] Simplifying a IsFunction type class using type equality constraints

I recently had a need to use the IsFunction typeclass described by Oleg here: http://okmij.org/ftp/Haskell/isFunction.lhs and am wondering if the use of the TypeCast class can be correctly replaced by a type equality constraint. The IsFunction and TypeCast classes were defined as: data HTrue