Re: [Haskell-cafe] Trouble with types

On Fri, Jul 23, 2004 at 07:18:28PM +0300, Kari Pahula wrote:

temp :: (Real a) => Object (Energy a) (HeatC a) -> Temp a temp Object (Energy e) (HeatC c) = Temp e*c

Probably this, but I didn't check: temp (Object (Energy e) (HeatC c)) = Temp e*c Best regards, Tom -- .signature: Too many levels of symbolic links